18 lines · c
1// RUN: %clang_analyze_cc1 -analyzer-checker=unix.StdCLibraryFunctions -verify %s2// RUN: %clang_analyze_cc1 -triple i686-unknown-linux -analyzer-checker=unix.StdCLibraryFunctions -verify %s3// RUN: %clang_analyze_cc1 -triple x86_64-unknown-linux -analyzer-checker=unix.StdCLibraryFunctions -verify %s4// RUN: %clang_analyze_cc1 -triple armv7-a15-linux -analyzer-checker=unix.StdCLibraryFunctions -verify %s5// RUN: %clang_analyze_cc1 -triple thumbv7-a15-linux -analyzer-checker=unix.StdCLibraryFunctions -verify %s6 7// This test tests crashes that occur when standard functions are available8// for inlining.9 10// expected-no-diagnostics11 12int isdigit(int _) { return !0; }13void test_redefined_isdigit(int x) {14 int (*func)(int) = isdigit;15 for (; func(x);) // no-crash16 ;17}18