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
[clang] Handle __declspec() attributes in using
[llvm-project.git]
/
clang
/
test
/
Analysis
/
inline3.c
blob
930a65ffec1e6e9cf01c6db7dfc156462963ed16
1
// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s
2
// expected-no-diagnostics
3
4
// Test when entering f1(), we set the right AnalysisDeclContext to Environment.
5
// Otherwise, block-level expr '1 && a' would not be block-level.
6
int
a
;
7
8
void
f1
(
void
) {
9
if
(
1
&&
a
)
10
return
;
11
}
12
13
void
f2
(
void
) {
14
f1
();
15
}