| Dominic Chen | 184c624 | 2017-03-03 18:02:02 +0000 | [diff] [blame] | 1 | // RUN: %clang_analyze_cc1 -triple x86_64-unknown-linux -analyzer-checker=unix.StdCLibraryFunctions,debug.ExprInspection -verify %s |
| Artem Dergachev | bba497f | 2016-10-24 09:41:38 +0000 | [diff] [blame] | 2 | |
| 3 | // Test that we don't model functions with broken prototypes. |
| 4 | // Because they probably work differently as well. |
| 5 | // |
| 6 | // This test lives in a separate file because we wanted to test all functions |
| 7 | // in the .c file, however in C there are no overloads. |
| 8 | |
| 9 | void clang_analyzer_eval(bool); |
| 10 | bool isalpha(char); |
| 11 | |
| 12 | void test() { |
| 13 | clang_analyzer_eval(isalpha('A')); // no-crash // expected-warning{{UNKNOWN}} |
| 14 | } |