repo.or.cz
/
llvm-project.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
Run DCE after a LoopFlatten test to reduce spurious output [nfc]
[llvm-project.git]
/
clang
/
test
/
Analysis
/
PR38208.c
blob
fb0a5a15eac6bde6cddb291880427d99bd3804f5
1
// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s
2
3
// expected-no-diagnostics
4
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
}
