]> granicus.if.org Git - clang/commitdiff
Fix for last commit: adding new test file forgotten.
authorAdam Balogh <adam.balogh@ericsson.com>
Mon, 23 Jul 2018 10:53:02 +0000 (10:53 +0000)
committerAdam Balogh <adam.balogh@ericsson.com>
Mon, 23 Jul 2018 10:53:02 +0000 (10:53 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@337679 91177308-0d34-0410-b5e6-96231b3b80d8

test/Analysis/PR38208.c [new file with mode: 0644]

diff --git a/test/Analysis/PR38208.c b/test/Analysis/PR38208.c
new file mode 100644 (file)
index 0000000..fb0a5a1
--- /dev/null
@@ -0,0 +1,43 @@
+// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s
+
+// expected-no-diagnostics
+
+int foo(int a, int b) {
+  a += b; b -= a;
+  a += b; b -= a;
+  a += b; b -= a;
+  a += b; b -= a;
+  a += b; b -= a;
+  a += b; b -= a;
+  a += b; b -= a;
+  a += b; b -= a;
+  a += b; b -= a;
+  a += b; b -= a;
+  a += b; b -= a;
+  a += b; b -= a;
+  a += b; b -= a;
+  a += b; b -= a;
+  a += b; b -= a;
+  a += b; b -= a;
+  a += b; b -= a;
+  a += b; b -= a;
+  a += b; b -= a;
+  a += b; b -= a;
+  a += b; b -= a;
+  a += b; b -= a;
+  a += b; b -= a;
+  a += b; b -= a;
+  a += b; b -= a;
+  a += b; b -= a;
+  a += b; b -= a;
+  a += b; b -= a;
+  a += b; b -= a;
+  a += b; b -= a;
+  a += b; b -= a;
+  a += b; b -= a;
+  a += b; b -= a;
+  a += b; b -= a;
+  a += b; b -= a;
+  a += b; b -= a;
+  return a + b;
+}