Merge pull request #17848 from jketema/wrong-format

C++: Add wrong format type builtin function test

Author: jketema

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

@@ -0,0 +1 @@
+| tests.c:3:74:3:74 | 1 | This format specifier for type 'char *' does not match the argument type 'int'. |

cpp/ql/test/query-tests/Likely Bugs/Format/WrongTypeFormatArguments/Builtin/WrongTypeFormatArguments.qlref

@@ -0,0 +1 @@
+Likely Bugs/Format/WrongTypeFormatArguments.ql

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

@@ -0,0 +1,5 @@
+void f() {
+    char buf[35];
+    __builtin___sprintf_chk(buf, 0, __builtin_object_size(buf, 1), "%s", 1);
+    __builtin___sprintf_chk(buf, 0, __builtin_object_size(buf, 1), "%d", 1);
+}