1 // RUN: %clang_analyze_cc1 -analyzer-checker=apiModeling.StdCLibraryFunctions -verify %s
2 // RUN: %clang_analyze_cc1 -triple i686-unknown-linux -analyzer-checker=apiModeling.StdCLibraryFunctions -verify %s
3 // RUN: %clang_analyze_cc1 -triple x86_64-unknown-linux -analyzer-checker=apiModeling.StdCLibraryFunctions -verify %s
4 // RUN: %clang_analyze_cc1 -triple armv7-a15-linux -analyzer-checker=apiModeling.StdCLibraryFunctions -verify %s
5 // RUN: %clang_analyze_cc1 -triple thumbv7-a15-linux -analyzer-checker=apiModeling.StdCLibraryFunctions -verify %s
6
7 // This test tests crashes that occur when standard functions are available
8 // for inlining.
9
10 // expected-no-diagnostics
11
isdigit(int _)12 int isdigit(int _) { return !0; }
test_redefined_isdigit(int x)13 void test_redefined_isdigit(int x) {
14 int (*func)(int) = isdigit;
15 for (; func(x);) // no-crash
16 ;
17 }
18