1 // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s
2 
3 // expected-no-diagnostics
4 
foo(int a,int b)5 int foo(int a, int b) {
6   a += b; b -= a;
7   a += b; b -= a;
8   a += b; b -= a;
9   a += b; b -= a;
10   a += b; b -= a;
11   a += b; b -= a;
12   a += b; b -= a;
13   a += b; b -= a;
14   a += b; b -= a;
15   a += b; b -= a;
16   a += b; b -= a;
17   a += b; b -= a;
18   a += b; b -= a;
19   a += b; b -= a;
20   a += b; b -= a;
21   a += b; b -= a;
22   a += b; b -= a;
23   a += b; b -= a;
24   a += b; b -= a;
25   a += b; b -= a;
26   a += b; b -= a;
27   a += b; b -= a;
28   a += b; b -= a;
29   a += b; b -= a;
30   a += b; b -= a;
31   a += b; b -= a;
32   a += b; b -= a;
33   a += b; b -= a;
34   a += b; b -= a;
35   a += b; b -= a;
36   a += b; b -= a;
37   a += b; b -= a;
38   a += b; b -= a;
39   a += b; b -= a;
40   a += b; b -= a;
41   a += b; b -= a;
42   return a + b;
43 }
44