diff options
| author | Aleksei Sidorin <a.sidorin@samsung.com> | 2016-09-01 13:55:38 +0000 |
|---|---|---|
| committer | Aleksei Sidorin <a.sidorin@samsung.com> | 2016-09-01 13:55:38 +0000 |
| commit | 29afb1937ba755909fed46402c54cc3d7439b1ed (patch) | |
| tree | 2e8c432a67b7753d06b462985a9ac16bda6b6e9c /clang/test/Analysis/castexpr-callback.c | |
| parent | 3a9eef1670a50265379d4602d17644e491d39597 (diff) | |
| download | bcm5719-llvm-29afb1937ba755909fed46402c54cc3d7439b1ed.tar.gz bcm5719-llvm-29afb1937ba755909fed46402c54cc3d7439b1ed.zip | |
[analyzer] ExprEngine: remove second call to PreStmt<CastExpr>
This patch also introduces AnalysisOrderChecker which is intended for testing
of callback call correctness.
Differential Revision: https://reviews.llvm.org/D23804
llvm-svn: 280367
Diffstat (limited to 'clang/test/Analysis/castexpr-callback.c')
| -rw-r--r-- | clang/test/Analysis/castexpr-callback.c | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/clang/test/Analysis/castexpr-callback.c b/clang/test/Analysis/castexpr-callback.c new file mode 100644 index 00000000000..73fa17a134a --- /dev/null +++ b/clang/test/Analysis/castexpr-callback.c @@ -0,0 +1,10 @@ +// RUN: %clang_cc1 -analyze -analyzer-checker=debug.AnalysisOrder -analyzer-config debug.AnalysisOrder:PreStmtCastExpr=true,debug.AnalysisOrder:PostStmtCastExpr=true %s 2>&1 | FileCheck %s + +void test(char c) { + int i = (int)c; +} + +// CHECK: PreStmt<CastExpr> (Kind : LValueToRValue) +// CHECK-NEXT: PostStmt<CastExpr> (Kind : LValueToRValue) +// CHECK-NEXT: PreStmt<CastExpr> (Kind : IntegralCast) +// CHECK-NEXT: PostStmt<CastExpr> (Kind : IntegralCast) |
