Author: kremenek
Date: Thu Feb 4 19:52:40 2010
New Revision: 95343
URL: http://llvm.org/viewvc/llvm-project?rev=95343&view=rev
Log:
Rename -cc1 option '-warn-dead-stores' to '-analyzer-check-dead-stores'.
Modified:
cfe/trunk/include/clang/Driver/CC1Options.td
cfe/trunk/include/clang/Frontend/Analyses.def
cfe/trunk/lib/Driver/Tools.cpp
cfe/trunk/test/Analysis/NSWindow.m
cfe/trunk/test/Analysis/conditional-op-missing-lhs.c
cfe/trunk/test/Analysis/dead-stores.c
cfe/trunk/test/Analysis/dead-stores.cpp
cfe/trunk/test/Analysis/dead-stores.m
cfe/trunk/test/Analysis/rdar-6540084.m
cfe/trunk/tools/scan-build/scan-build
Modified: cfe/trunk/include/clang/Driver/CC1Options.td
URL:
http://llvm.org/viewvc/llvm-project/cfe/trunk/include/clang/Driver/CC1Options.td?rev=95343&r1=95342&r2=95343&view=diff
==============================================================================
--- cfe/trunk/include/clang/Driver/CC1Options.td (original)
+++ cfe/trunk/include/clang/Driver/CC1Options.td Thu Feb 4 19:52:40 2010
@@ -40,7 +40,7 @@
HelpText<"Print results of live variable analysis">;
def analysis_SecuritySyntacticChecks :
Flag<"-analyzer-check-security-syntactic">,
HelpText<"Perform quick security checks that require no data flow">;
-def analysis_WarnDeadStores : Flag<"-warn-dead-stores">,
+def analysis_WarnDeadStores : Flag<"-analyzer-check-dead-stores">,
HelpText<"Warn about stores to dead variables">;
def analysis_WarnUninitVals : Flag<"-warn-uninit-values">,
HelpText<"Warn about uses of uninitialized variables">;
Modified: cfe/trunk/include/clang/Frontend/Analyses.def
URL:
http://llvm.org/viewvc/llvm-project/cfe/trunk/include/clang/Frontend/Analyses.def?rev=95343&r1=95342&r2=95343&view=diff
==============================================================================
--- cfe/trunk/include/clang/Frontend/Analyses.def (original)
+++ cfe/trunk/include/clang/Frontend/Analyses.def Thu Feb 4 19:52:40 2010
@@ -28,7 +28,7 @@
"Perform quick security checks that require no data flow",
Code)
-ANALYSIS(WarnDeadStores, "warn-dead-stores",
+ANALYSIS(WarnDeadStores, "analyzer-check-dead-stores",
"Warn about stores to dead variables", Code)
ANALYSIS(WarnUninitVals, "warn-uninit-values",
Modified: cfe/trunk/lib/Driver/Tools.cpp
URL:
http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Driver/Tools.cpp?rev=95343&r1=95342&r2=95343&view=diff
==============================================================================
--- cfe/trunk/lib/Driver/Tools.cpp (original)
+++ cfe/trunk/lib/Driver/Tools.cpp Thu Feb 4 19:52:40 2010
@@ -701,7 +701,7 @@
// Add default argument set.
if (!Args.hasArg(options::OPT__analyzer_no_default_checks)) {
- CmdArgs.push_back("-warn-dead-stores");
+ CmdArgs.push_back("-analyzer-check-dead-stores");
CmdArgs.push_back("-analyzer-check-security-syntactic");
CmdArgs.push_back("-checker-cfref");
CmdArgs.push_back("-analyzer-eagerly-assume");
Modified: cfe/trunk/test/Analysis/NSWindow.m
URL:
http://llvm.org/viewvc/llvm-project/cfe/trunk/test/Analysis/NSWindow.m?rev=95343&r1=95342&r2=95343&view=diff
==============================================================================
--- cfe/trunk/test/Analysis/NSWindow.m (original)
+++ cfe/trunk/test/Analysis/NSWindow.m Thu Feb 4 19:52:40 2010
@@ -1,7 +1,7 @@
-// RUN: %clang_cc1 -analyze -analyzer-experimental-internal-checks
-checker-cfref -warn-dead-stores -analyzer-store=basic
-analyzer-constraints=basic -verify %s
-// RUN: %clang_cc1 -analyze -analyzer-experimental-internal-checks
-checker-cfref -warn-dead-stores -analyzer-store=basic
-analyzer-constraints=range -verify %s
-// RUN: %clang_cc1 -analyze -analyzer-experimental-internal-checks
-checker-cfref -warn-dead-stores -analyzer-store=region
-analyzer-constraints=basic -verify %s
-// RUN: %clang_cc1 -analyze -analyzer-experimental-internal-checks
-checker-cfref -warn-dead-stores -analyzer-store=region
-analyzer-constraints=range -verify %s
+// RUN: %clang_cc1 -analyze -analyzer-experimental-internal-checks
-checker-cfref -analyzer-check-dead-stores -analyzer-store=basic
-analyzer-constraints=basic -verify %s
+// RUN: %clang_cc1 -analyze -analyzer-experimental-internal-checks
-checker-cfref -analyzer-check-dead-stores -analyzer-store=basic
-analyzer-constraints=range -verify %s
+// RUN: %clang_cc1 -analyze -analyzer-experimental-internal-checks
-checker-cfref -analyzer-check-dead-stores -analyzer-store=region
-analyzer-constraints=basic -verify %s
+// RUN: %clang_cc1 -analyze -analyzer-experimental-internal-checks
-checker-cfref -analyzer-check-dead-stores -analyzer-store=region
-analyzer-constraints=range -verify %s
// These declarations were reduced using Delta-Debugging from Foundation.h
// on Mac OS X. The test cases are below.
Modified: cfe/trunk/test/Analysis/conditional-op-missing-lhs.c
URL:
http://llvm.org/viewvc/llvm-project/cfe/trunk/test/Analysis/conditional-op-missing-lhs.c?rev=95343&r1=95342&r2=95343&view=diff
==============================================================================
--- cfe/trunk/test/Analysis/conditional-op-missing-lhs.c (original)
+++ cfe/trunk/test/Analysis/conditional-op-missing-lhs.c Thu Feb 4 19:52:40
2010
@@ -1,4 +1,4 @@
-// RUN: %clang_cc1 -analyze -analyzer-experimental-internal-checks
-warn-dead-stores -warn-uninit-values -verify %s
+// RUN: %clang_cc1 -analyze -analyzer-experimental-internal-checks
-analyzer-check-dead-stores -warn-uninit-values -verify %s
void f1()
{
Modified: cfe/trunk/test/Analysis/dead-stores.c
URL:
http://llvm.org/viewvc/llvm-project/cfe/trunk/test/Analysis/dead-stores.c?rev=95343&r1=95342&r2=95343&view=diff
==============================================================================
--- cfe/trunk/test/Analysis/dead-stores.c (original)
+++ cfe/trunk/test/Analysis/dead-stores.c Thu Feb 4 19:52:40 2010
@@ -1,8 +1,8 @@
-// RUN: %clang_cc1 -analyze -analyzer-experimental-internal-checks
-warn-dead-stores -fblocks -verify -Wno-unreachable-code %s
-// RUN: %clang_cc1 -analyze -analyzer-experimental-internal-checks
-checker-cfref -analyzer-store=basic -analyzer-constraints=basic
-warn-dead-stores -fblocks -verify -Wno-unreachable-code %s
-// RUN: %clang_cc1 -analyze -analyzer-experimental-internal-checks
-checker-cfref -analyzer-store=basic -analyzer-constraints=range
-warn-dead-stores -fblocks -verify -Wno-unreachable-code %s
-// RUN: %clang_cc1 -analyze -analyzer-experimental-internal-checks
-checker-cfref -analyzer-store=region -analyzer-constraints=basic
-warn-dead-stores -fblocks -verify -Wno-unreachable-code %s
-// RUN: %clang_cc1 -analyze -analyzer-experimental-internal-checks
-checker-cfref -analyzer-store=region -analyzer-constraints=range
-warn-dead-stores -fblocks -verify -Wno-unreachable-code %s
+// RUN: %clang_cc1 -analyze -analyzer-experimental-internal-checks
-analyzer-check-dead-stores -fblocks -verify -Wno-unreachable-code %s
+// RUN: %clang_cc1 -analyze -analyzer-experimental-internal-checks
-checker-cfref -analyzer-store=basic -analyzer-constraints=basic
-analyzer-check-dead-stores -fblocks -verify -Wno-unreachable-code %s
+// RUN: %clang_cc1 -analyze -analyzer-experimental-internal-checks
-checker-cfref -analyzer-store=basic -analyzer-constraints=range
-analyzer-check-dead-stores -fblocks -verify -Wno-unreachable-code %s
+// RUN: %clang_cc1 -analyze -analyzer-experimental-internal-checks
-checker-cfref -analyzer-store=region -analyzer-constraints=basic
-analyzer-check-dead-stores -fblocks -verify -Wno-unreachable-code %s
+// RUN: %clang_cc1 -analyze -analyzer-experimental-internal-checks
-checker-cfref -analyzer-store=region -analyzer-constraints=range
-analyzer-check-dead-stores -fblocks -verify -Wno-unreachable-code %s
void f1() {
int k, y;
Modified: cfe/trunk/test/Analysis/dead-stores.cpp
URL:
http://llvm.org/viewvc/llvm-project/cfe/trunk/test/Analysis/dead-stores.cpp?rev=95343&r1=95342&r2=95343&view=diff
==============================================================================
--- cfe/trunk/test/Analysis/dead-stores.cpp (original)
+++ cfe/trunk/test/Analysis/dead-stores.cpp Thu Feb 4 19:52:40 2010
@@ -1,8 +1,8 @@
-// RUN: %clang_cc1 -analyze -analyzer-experimental-internal-checks
-warn-dead-stores -verify -Wno-unreachable-code %s
-// RUN: %clang_cc1 -analyze -analyzer-experimental-internal-checks
-checker-cfref -analyzer-store=basic -analyzer-constraints=basic
-warn-dead-stores -verify -Wno-unreachable-code %s
-// RUN: %clang_cc1 -analyze -analyzer-experimental-internal-checks
-checker-cfref -analyzer-store=basic -analyzer-constraints=range
-warn-dead-stores -verify -Wno-unreachable-code %s
-// RUN: %clang_cc1 -analyze -analyzer-experimental-internal-checks
-checker-cfref -analyzer-store=region -analyzer-constraints=basic
-warn-dead-stores -verify -Wno-unreachable-code %s
-// RUN: %clang_cc1 -analyze -analyzer-experimental-internal-checks
-checker-cfref -analyzer-store=region -analyzer-constraints=range
-warn-dead-stores -verify -Wno-unreachable-code %s
+// RUN: %clang_cc1 -analyze -analyzer-experimental-internal-checks
-analyzer-check-dead-stores -verify -Wno-unreachable-code %s
+// RUN: %clang_cc1 -analyze -analyzer-experimental-internal-checks
-checker-cfref -analyzer-store=basic -analyzer-constraints=basic
-analyzer-check-dead-stores -verify -Wno-unreachable-code %s
+// RUN: %clang_cc1 -analyze -analyzer-experimental-internal-checks
-checker-cfref -analyzer-store=basic -analyzer-constraints=range
-analyzer-check-dead-stores -verify -Wno-unreachable-code %s
+// RUN: %clang_cc1 -analyze -analyzer-experimental-internal-checks
-checker-cfref -analyzer-store=region -analyzer-constraints=basic
-analyzer-check-dead-stores -verify -Wno-unreachable-code %s
+// RUN: %clang_cc1 -analyze -analyzer-experimental-internal-checks
-checker-cfref -analyzer-store=region -analyzer-constraints=range
-analyzer-check-dead-stores -verify -Wno-unreachable-code %s
//===----------------------------------------------------------------------===//
// Basic dead store checking (but in C++ mode).
Modified: cfe/trunk/test/Analysis/dead-stores.m
URL:
http://llvm.org/viewvc/llvm-project/cfe/trunk/test/Analysis/dead-stores.m?rev=95343&r1=95342&r2=95343&view=diff
==============================================================================
--- cfe/trunk/test/Analysis/dead-stores.m (original)
+++ cfe/trunk/test/Analysis/dead-stores.m Thu Feb 4 19:52:40 2010
@@ -1,4 +1,4 @@
-// RUN: %clang_cc1 -analyze -analyzer-experimental-internal-checks
-warn-dead-stores -verify %s
+// RUN: %clang_cc1 -analyze -analyzer-experimental-internal-checks
-analyzer-check-dead-stores -verify %s
typedef signed char BOOL;
typedef unsigned int NSUInteger;
Modified: cfe/trunk/test/Analysis/rdar-6540084.m
URL:
http://llvm.org/viewvc/llvm-project/cfe/trunk/test/Analysis/rdar-6540084.m?rev=95343&r1=95342&r2=95343&view=diff
==============================================================================
--- cfe/trunk/test/Analysis/rdar-6540084.m (original)
+++ cfe/trunk/test/Analysis/rdar-6540084.m Thu Feb 4 19:52:40 2010
@@ -1,4 +1,4 @@
-// RUN: %clang_cc1 -analyze -analyzer-experimental-internal-checks
-warn-dead-stores -verify %s
+// RUN: %clang_cc1 -analyze -analyzer-experimental-internal-checks
-analyzer-check-dead-stores -verify %s
//
// This test exercises the live variables analysis (LiveVariables.cpp).
// The case originally identified a non-termination bug.
Modified: cfe/trunk/tools/scan-build/scan-build
URL:
http://llvm.org/viewvc/llvm-project/cfe/trunk/tools/scan-build/scan-build?rev=95343&r1=95342&r2=95343&view=diff
==============================================================================
--- cfe/trunk/tools/scan-build/scan-build (original)
+++ cfe/trunk/tools/scan-build/scan-build Thu Feb 4 19:52:40 2010
@@ -121,7 +121,7 @@
close (PIPE);
my %AnalysesDefaultEnabled = (
- '-warn-dead-stores' => 1,
+ '-analyzer-check-dead-stores' => 1,
'-checker-cfref' => 1,
'-warn-objc-methodsigs' => 1,
# Do not enable the missing -dealloc check by default.
_______________________________________________
cfe-commits mailing list
[email protected]
http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
