X-Git-Url: https://git.wh0rd.org/?p=ICEs.git;a=blobdiff_plain;f=318007%2Fbuf0buf.i;fp=318007%2Fbuf0buf.i;h=e5b8f1980b79a6017c72ddd7e3d12d412966abd1;hp=0000000000000000000000000000000000000000;hb=81f80d8c1c9898ae1c26534a3287a47220390f5c;hpb=45516216fc552c838e650d868214d867027a64f6

diff --git a/318007/buf0buf.i b/318007/buf0buf.i
new file mode 100644
index 0000000..e5b8f19
--- /dev/null
+++ b/318007/buf0buf.i
@@ -0,0 +1,7 @@
+foo()
+{
+	volatile long int lock;
+ retry:
+	if (__sync_fetch_and_add(&lock, 0x00100000))
+		goto retry;
+}