| 1 | // RUN: %clang_analyze_cc1 -triple x86_64-unknown-linux -analyzer-checker=apiModeling.StdCLibraryFunctions,debug.ExprInspection -verify %s |
|---|
| 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 | } |
|---|
| 15 | |
|---|