Work around a gcc warning

It seems that annotating sprintf with `write` makes gcc unhappy, as its
analyser is unable to understand that we're checking if `__b != -1` before
calling `__orig_snprintf`, so let's comment this annotation for now.

3 files changed, 31 insertions, 0 deletions

diff --git a/tests/Makefile b/tests/Makefile
index d29a87d..333f088 100644
--- a/tests/Makefile
+++ b/tests/Makefile
@@ -96,6 +96,8 @@ RUNTIME_TARGETS= \
         test_send_static             \
         test_sendto_dynamic          \
         test_sendto_static           \
+        test_sprintf                 \
+        test_sprintf_62              \
         test_stpcpy_dynamic_write    \
         test_stpcpy_overwrite_over   \
         test_stpcpy_overwrite_under  \
diff --git a/tests/test_sprintf.c b/tests/test_sprintf.c
new file mode 100644
index 0000000..edde838
--- /dev/null
+++ b/tests/test_sprintf.c
@@ -0,0 +1,8 @@
+#include "common.h"
+
+#include <stdio.h>
+
+int main(int argc, char** argv) {
+  char buffer[12] = {0};
+  sprintf(buffer, "%s", "1234567");
+}
diff --git a/tests/test_sprintf_62.c b/tests/test_sprintf_62.c
new file mode 100644
index 0000000..3a84a1f
--- /dev/null
+++ b/tests/test_sprintf_62.c
@@ -0,0 +1,21 @@
+#include "common.h"
+
+#include <stdio.h>
+
+static char *offstr(char *str)
+{
+        int len = 0;
+
+        len = sprintf(str, "%s+0x%lx", "foo", (long unsigned int)0);
+        sprintf(str+len, " (%s+0x%lx)","bar", (long unsigned int)0);
+        if (len < 0)
+                return NULL;
+        return str;
+}
+
+int main() {
+        char buf[100];
+        char *c = offstr(buf);
+        printf("%s\n", c);
+        return 0;
+}