diff options
| -rw-r--r-- | clang/test/Analysis/PR38208.c | 43 |
1 files changed, 43 insertions, 0 deletions
diff --git a/clang/test/Analysis/PR38208.c b/clang/test/Analysis/PR38208.c new file mode 100644 index 00000000000..fb0a5a15eac --- /dev/null +++ b/clang/test/Analysis/PR38208.c @@ -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; +} |
