C++: Tests for cpp/wrong-type-format-argument

Author: calumgrant

cpp/ql/test/query-tests/Likely Bugs/Format/WrongTypeFormatArguments/Buildless/WrongTypeFormatArguments.expected

@@ -1 +1,13 @@
 | tests.c:7:18:7:18 | 1 | This format specifier for type 'char *' does not match the argument type 'int'. |
+| tests.c:12:27:12:29 | 42 | This format specifier for type 'int' does not match the argument type 'long'. |
+| tests.c:12:32:12:35 | 42 | This format specifier for type 'int' does not match the argument type 'unsigned long'. |
+| tests.c:12:38:12:40 | 42 | This format specifier for type 'unsigned int' does not match the argument type 'long'. |
+| tests.c:12:43:12:46 | 42 | This format specifier for type 'unsigned int' does not match the argument type 'unsigned long'. |
+| tests.c:13:27:13:30 | 42 | This format specifier for type 'int' does not match the argument type 'long long'. |
+| tests.c:13:33:13:37 | 42 | This format specifier for type 'int' does not match the argument type 'unsigned long long'. |
+| tests.c:13:40:13:43 | 42 | This format specifier for type 'unsigned int' does not match the argument type 'long long'. |
+| tests.c:13:46:13:50 | 42 | This format specifier for type 'unsigned int' does not match the argument type 'unsigned long long'. |
+| tests.c:14:31:14:32 | 42 | This format specifier for type 'long' does not match the argument type 'int'. |
+| tests.c:14:35:14:37 | 42 | This format specifier for type 'long' does not match the argument type 'unsigned int'. |
+| tests.c:14:40:14:41 | 42 | This format specifier for type 'unsigned long' does not match the argument type 'int'. |
+| tests.c:14:44:14:46 | 42 | This format specifier for type 'unsigned long' does not match the argument type 'unsigned int'. |

cpp/ql/test/query-tests/Likely Bugs/Format/WrongTypeFormatArguments/Buildless/tests.c

@@ -1,12 +1,15 @@
-// semmle-extractor-options: --expect_errors
+// semmle-extractor-options: --expect_errors --build-mode none
 
 int printf(const char * format, ...);
 int fprintf();
 
 void f(UNKNOWN_CHAR * str) {
     printf("%s", 1); // BAD
-    printf("%s", implicit_function()); // GOOD - we should ignore the type
+    printf("%s", implicit_function()); // GOOD: we should ignore the type
     sprintf(0, "%s", ""); // GOOD
     fprintf(0, "%s", ""); // GOOD
-    printf("%s", str); // GOOD - erroneous type is ignored
+    printf("%s", str); // GOOD: erroneous type is ignored
+    printf("%d %d %u %u", 42l, 42ul, 42l, 42ul); // BAD (FP)
+    printf("%d %d %u %u", 42ll, 42ull, 42ll, 42ull); // BAD
+    printf("%ld %ld %lu %lu", 42, 42u, 42, 42u); // BAD
 }