more

[ICEs.git] / 490546 / fxprintf.i

diff --git a/490546/fxprintf.i b/490546/fxprintf.i
new file mode 100644 (file)
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();
+       }
+}