Author: dergachev Date: Tue Aug 14 14:06:30 2018 New Revision: 339726 URL: http://llvm.org/viewvc/llvm-project?rev=339726&view=rev Log: [analyzer] Add a test forgotten in r339088.
Differential Revision: https://reviews.llvm.org/D50363 Added: cfe/trunk/test/Analysis/std-c-library-functions-inlined.c Added: cfe/trunk/test/Analysis/std-c-library-functions-inlined.c URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/test/Analysis/std-c-library-functions-inlined.c?rev=339726&view=auto ============================================================================== --- cfe/trunk/test/Analysis/std-c-library-functions-inlined.c (added) +++ cfe/trunk/test/Analysis/std-c-library-functions-inlined.c Tue Aug 14 14:06:30 2018 @@ -0,0 +1,17 @@ +// RUN: %clang_analyze_cc1 -analyzer-checker=unix.StdCLibraryFunctions -verify %s +// RUN: %clang_analyze_cc1 -triple i686-unknown-linux -analyzer-checker=unix.StdCLibraryFunctions -verify %s +// RUN: %clang_analyze_cc1 -triple x86_64-unknown-linux -analyzer-checker=unix.StdCLibraryFunctions -verify %s +// RUN: %clang_analyze_cc1 -triple armv7-a15-linux -analyzer-checker=unix.StdCLibraryFunctions -verify %s +// RUN: %clang_analyze_cc1 -triple thumbv7-a15-linux -analyzer-checker=unix.StdCLibraryFunctions -verify %s + +// This test tests crashes that occur when standard functions are available +// for inlining. + +// expected-no-diagnostics + +int isdigit(int _) { return !0; } +void test_redefined_isdigit(int x) { + int (*func)(int) = isdigit; + for (; func(x);) // no-crash + ; +} _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits