1*e602dfbcSArtem Dergachev // RUN: %clang_analyze_cc1 -triple x86_64-unknown-linux -analyzer-checker=apiModeling.StdCLibraryFunctions,debug.ExprInspection -verify %s
2bba497fbSArtem Dergachev 
3bba497fbSArtem Dergachev // Test that we don't model functions with broken prototypes.
4bba497fbSArtem Dergachev // Because they probably work differently as well.
5bba497fbSArtem Dergachev //
6bba497fbSArtem Dergachev // This test lives in a separate file because we wanted to test all functions
7bba497fbSArtem Dergachev // in the .c file, however in C there are no overloads.
8bba497fbSArtem Dergachev 
9bba497fbSArtem Dergachev void clang_analyzer_eval(bool);
10bba497fbSArtem Dergachev bool isalpha(char);
11bba497fbSArtem Dergachev 
test()12bba497fbSArtem Dergachev void test() {
13bba497fbSArtem Dergachev   clang_analyzer_eval(isalpha('A')); // no-crash // expected-warning{{UNKNOWN}}
14bba497fbSArtem Dergachev }
15