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 }