chore, let coverity know we've done our best

hroptatyr · hroptatyr · commit 1c8cb3489bf3 · 2021-02-15T10:28:38.000Z
diff --git a/src/dt-io.c b/src/dt-io.c
@@ -71,6 +71,7 @@ serror(const char *fmt, ...)
 
 #include "strpdt-special.c"
 
+/* coverity[-tainted_data_sink: arg-0] */
 dt_strpdt_special_t
 dt_io_strpdt_special(const char *str)
 {

Original file line number	Diff line number	Diff line change
`@@ -71,6 +71,7 @@ serror(const char *fmt, ...)`
`71`	`71`
`72`	`72`	`#include "strpdt-special.c"`
`73`	`73`
	`74`	`+/* coverity[-tainted_data_sink: arg-0] */`
`74`	`75`	`dt_strpdt_special_t`
`75`	`76`	`dt_io_strpdt_special(const char *str)`
`76`	`77`	`{`