diff options
| author | Rafael Stahl <r.stahl@tum.de> | 2018-07-04 14:12:58 +0000 |
|---|---|---|
| committer | Rafael Stahl <r.stahl@tum.de> | 2018-07-04 14:12:58 +0000 |
| commit | 67676e9c9913e30690f8f01eba1c9bb2b354c860 (patch) | |
| tree | 096743e14bd33d354fccbaf23def574e377bb43c /clang/test/Analysis/ctu-main.cpp | |
| parent | 1e4dc2e97d6cf6a8c13e90cf5cc9eec56a62e4f8 (diff) | |
| download | bcm5719-llvm-67676e9c9913e30690f8f01eba1c9bb2b354c860.tar.gz bcm5719-llvm-67676e9c9913e30690f8f01eba1c9bb2b354c860.zip | |
[analyzer][ctu] fix unsortable diagnostics
Summary: In the provided test case the PathDiagnostic compare function was not able to find a difference.
Reviewers: xazax.hun, NoQ, dcoughlin, george.karpenkov
Reviewed By: george.karpenkov
Subscribers: a_sidorin, szepet, rnkovacs, a.sidorin, mikhail.ramalho, cfe-commits
Differential Revision: https://reviews.llvm.org/D48474
llvm-svn: 336275
Diffstat (limited to 'clang/test/Analysis/ctu-main.cpp')
| -rw-r--r-- | clang/test/Analysis/ctu-main.cpp | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/clang/test/Analysis/ctu-main.cpp b/clang/test/Analysis/ctu-main.cpp index 3e9db816f26..33da84962ce 100644 --- a/clang/test/Analysis/ctu-main.cpp +++ b/clang/test/Analysis/ctu-main.cpp @@ -4,6 +4,8 @@ // RUN: cp %S/Inputs/externalFnMap.txt %T/ctudir/ // RUN: %clang_cc1 -triple x86_64-pc-linux-gnu -fsyntax-only -analyze -analyzer-checker=core,debug.ExprInspection -analyzer-config experimental-enable-naive-ctu-analysis=true -analyzer-config ctu-dir=%T/ctudir -verify %s +#include "ctu-hdr.h" + void clang_analyzer_eval(int); int f(int); @@ -41,6 +43,7 @@ int chf1(int x); } int fun_using_anon_struct(int); +int other_macro_diag(int); int main() { clang_analyzer_eval(f(3) == 2); // expected-warning{{TRUE}} @@ -58,4 +61,8 @@ int main() { clang_analyzer_eval(chns::chf1(4) == 12); // expected-warning{{TRUE}} clang_analyzer_eval(fun_using_anon_struct(8) == 8); // expected-warning{{TRUE}} + + clang_analyzer_eval(other_macro_diag(1) == 1); // expected-warning{{TRUE}} + // expected-warning@Inputs/ctu-other.cpp:75{{REACHABLE}} + MACRODIAG(); // expected-warning{{REACHABLE}} } |
