Author: george.karpenkov Date: Tue Feb 27 11:19:43 2018 New Revision: 326229
URL: http://llvm.org/viewvc/llvm-project?rev=326229&view=rev Log: [analyzer] Logging test quickfix #2. Modified: cfe/trunk/test/Analysis/region_store_overflow.c Modified: cfe/trunk/test/Analysis/region_store_overflow.c URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/test/Analysis/region_store_overflow.c?rev=326229&r1=326228&r2=326229&view=diff ============================================================================== --- cfe/trunk/test/Analysis/region_store_overflow.c (original) +++ cfe/trunk/test/Analysis/region_store_overflow.c Tue Feb 27 11:19:43 2018 @@ -1,6 +1,6 @@ -// RUN: %clang_analyze_cc1 -analyze -analyzer-checker=core -mllvm -debug-only=MemRegion %s 2>&1 | FileCheck %s -// REQUIRES: asserts +// RUN: %clang_analyze_cc1 -analyze -analyzer-checker=core -verify %s +// expected-no-diagnostics int **h; int overflow_in_memregion(long j) { for (int l = 0;; ++l) { @@ -9,4 +9,3 @@ int overflow_in_memregion(long j) { } return 0; } -// CHECK: MemRegion::getAsArrayOffset: offset overflowing, returning unknown _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
