diff options
| author | Jordy Rose <jediknil@belkadan.com> | 2012-05-16 16:01:07 +0000 |
|---|---|---|
| committer | Jordy Rose <jediknil@belkadan.com> | 2012-05-16 16:01:07 +0000 |
| commit | 93a9d828378b5c969344f27aeb275b8c2a19d918 (patch) | |
| tree | 93e43bb7e38c46d13c78bc938e422b66cd0ea6e6 /test/Analysis/array-struct-region.c | |
| parent | c51bb99ef9daa17084dea688400b40322289aefe (diff) | |
[analyzer] Introduce clang_analyzer_eval for regression test constraint checks.
The new debug.ExprInspection checker looks for calls to clang_analyzer_eval,
and emits a warning of TRUE, FALSE, or UNKNOWN (or UNDEFINED) based on the
constrained value of its (boolean) argument. It does not modify the analysis
state though the conditions tested can result in branches (e.g. through the
use of short-circuit operators).
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@156919 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Analysis/array-struct-region.c')
0 files changed, 0 insertions, 0 deletions