X-Git-Url: https://git.wh0rd.org/?p=ICEs.git;a=blobdiff_plain;f=490546%2Ffxprintf.i;fp=490546%2Ffxprintf.i;h=3762e2b2748d3fa9b0bc1ae2d909d423f5f6f140;hp=0000000000000000000000000000000000000000;hb=bd3239d2bbe0de3a200b266503e3330b1e391489;hpb=dbff64cb4b7530861c2309c794efdd4e0cf47a23

diff --git a/490546/fxprintf.i b/490546/fxprintf.i
new file mode 100644
index 0000000..3762e2b
--- /dev/null
+++ b/490546/fxprintf.i
@@ -0,0 +1,11 @@
+extern void assert_fail(void) __attribute__ ((__noreturn__));
+void __fxprintf(int _mode, const char *fmt, ...)
+{
+	if (_mode) {
+		unsigned int len = strlen(fmt) + 1;
+		unsigned int wfmt[len];
+		for (unsigned int i = 0; i < len; ++i)
+			if (fmt[i] & ~0x7f)
+				assert_fail();
+	}
+}