more ices

[ICEs.git] / 318007 / buf0buf.i

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