1*f7a38eecSGabor Marton // RUN: %clang_analyze_cc1 -x c++ -analyzer-checker=debug.ExprInspection \ 2*f7a38eecSGabor Marton // RUN: -analyzer-config support-symbolic-integer-casts=false \ 3*f7a38eecSGabor Marton // RUN: -verify %s 4*f7a38eecSGabor Marton 5*f7a38eecSGabor Marton // RUN: %clang_analyze_cc1 -x c++ -analyzer-checker=debug.ExprInspection \ 6*f7a38eecSGabor Marton // RUN: -analyzer-config support-symbolic-integer-casts=true \ 7*f7a38eecSGabor Marton // RUN: -verify %s 8e527df03SArtem Dergachev 9e527df03SArtem Dergachev // Self-tests for the debug.ExprInspection checker. 10e527df03SArtem Dergachev 11*f7a38eecSGabor Marton template <typename T> 12*f7a38eecSGabor Marton void clang_analyzer_denote(T x, const char *str); 13*f7a38eecSGabor Marton template <typename T> 14*f7a38eecSGabor Marton void clang_analyzer_express(T x); 15e527df03SArtem Dergachev 16c79345fbSZarko Todorovski // Invalid declarations to test basic correctness checks. 17e527df03SArtem Dergachev void clang_analyzer_denote(); 18e527df03SArtem Dergachev void clang_analyzer_denote(int x); 19e527df03SArtem Dergachev void clang_analyzer_express(); 20e527df03SArtem Dergachev foo(int x,unsigned y)21e527df03SArtem Dergachevvoid foo(int x, unsigned y) { 22e527df03SArtem Dergachev clang_analyzer_denote(); // expected-warning{{clang_analyzer_denote() requires a symbol and a string literal}} 2389d210feSCharusso clang_analyzer_express(); // expected-warning{{Missing argument}} 24e527df03SArtem Dergachev 25e527df03SArtem Dergachev clang_analyzer_denote(x); // expected-warning{{clang_analyzer_denote() requires a symbol and a string literal}} 26e527df03SArtem Dergachev clang_analyzer_express(x); // expected-warning{{Unable to express}} 27e527df03SArtem Dergachev 28e527df03SArtem Dergachev clang_analyzer_denote(x, "$x"); 29b5b2aec1SGabor Marton clang_analyzer_express(-x); // expected-warning{{-$x}} 30b5b2aec1SGabor Marton 31e527df03SArtem Dergachev clang_analyzer_denote(y, "$y"); 32e527df03SArtem Dergachev clang_analyzer_express(x + y); // expected-warning{{$x + $y}} 33e527df03SArtem Dergachev 34e527df03SArtem Dergachev clang_analyzer_denote(1, "$z"); // expected-warning{{Not a symbol}} 35e527df03SArtem Dergachev clang_analyzer_express(1); // expected-warning{{Not a symbol}} 36e527df03SArtem Dergachev 3702955afbSArtem Dergachev clang_analyzer_denote(x + 1, "$w"); 3802955afbSArtem Dergachev clang_analyzer_express(x + 1); // expected-warning{{$w}} 39e527df03SArtem Dergachev clang_analyzer_express(y + 1); // expected-warning{{$y + 1U}} 40e527df03SArtem Dergachev } 41