r339726 - [analyzer] Add a test forgotten in r339088.

Artem Dergachev via cfe-commits cfe-commits at lists.llvm.org
Tue Aug 14 14:06:30 PDT 2018


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
+    ;
+}




More information about the cfe-commits mailing list