This revision was landed with ongoing or failed builds. This revision was automatically updated to reflect the committed changes. Closed by commit rGf7a38eeccb03: [analyzer][NFC][test] Add new RUN line with support-symbolic-integer-casts=true… (authored by martong).
Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D127649/new/ https://reviews.llvm.org/D127649 Files: clang/test/Analysis/expr-inspection.cpp Index: clang/test/Analysis/expr-inspection.cpp =================================================================== --- clang/test/Analysis/expr-inspection.cpp +++ clang/test/Analysis/expr-inspection.cpp @@ -1,9 +1,17 @@ -// RUN: %clang_analyze_cc1 -x c++ -analyzer-checker=debug.ExprInspection -verify %s +// RUN: %clang_analyze_cc1 -x c++ -analyzer-checker=debug.ExprInspection \ +// RUN: -analyzer-config support-symbolic-integer-casts=false \ +// RUN: -verify %s + +// RUN: %clang_analyze_cc1 -x c++ -analyzer-checker=debug.ExprInspection \ +// RUN: -analyzer-config support-symbolic-integer-casts=true \ +// RUN: -verify %s // Self-tests for the debug.ExprInspection checker. -void clang_analyzer_denote(int x, const char *str); -void clang_analyzer_express(int x); +template <typename T> +void clang_analyzer_denote(T x, const char *str); +template <typename T> +void clang_analyzer_express(T x); // Invalid declarations to test basic correctness checks. void clang_analyzer_denote();
Index: clang/test/Analysis/expr-inspection.cpp =================================================================== --- clang/test/Analysis/expr-inspection.cpp +++ clang/test/Analysis/expr-inspection.cpp @@ -1,9 +1,17 @@ -// RUN: %clang_analyze_cc1 -x c++ -analyzer-checker=debug.ExprInspection -verify %s +// RUN: %clang_analyze_cc1 -x c++ -analyzer-checker=debug.ExprInspection \ +// RUN: -analyzer-config support-symbolic-integer-casts=false \ +// RUN: -verify %s + +// RUN: %clang_analyze_cc1 -x c++ -analyzer-checker=debug.ExprInspection \ +// RUN: -analyzer-config support-symbolic-integer-casts=true \ +// RUN: -verify %s // Self-tests for the debug.ExprInspection checker. -void clang_analyzer_denote(int x, const char *str); -void clang_analyzer_express(int x); +template <typename T> +void clang_analyzer_denote(T x, const char *str); +template <typename T> +void clang_analyzer_express(T x); // Invalid declarations to test basic correctness checks. void clang_analyzer_denote();
_______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
