Mercurial > hg > CbC > CbC_llvm
comparison clang/test/Analysis/inline4.c @ 150:1d019706d866
LLVM10
author | anatofuz |
---|---|
date | Thu, 13 Feb 2020 15:10:13 +0900 |
parents | |
children |
comparison
equal
deleted
inserted
replaced
147:c2174574ed3a | 150:1d019706d866 |
---|---|
1 // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s | |
2 // expected-no-diagnostics | |
3 | |
4 int g(int a) { | |
5 return a; | |
6 } | |
7 | |
8 int f(int a) { | |
9 // Do not remove block-level expression bindings of caller when analyzing | |
10 // in the callee. | |
11 if (1 && g(a)) // The binding of '1 && g(a)' which is an UndefinedVal | |
12 // carries important information. | |
13 return 1; | |
14 return 0; | |
15 } |