maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

Shorten the static analyzer diagnostic for 'use of garbage value'. 

llvm-svn: 82672
This commit is contained in:
Ted Kremenek 2009-09-24 00:44:26 +00:00
parent 20327b0422
commit d9120d3575
3 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
clang/lib/Analysis/GRExprEngineInternalChecks.cpp
View File

@ -235,9 +235,9 @@ public:
if (Ex) {
OS << "The " << (isLeft ? "left" : "right")
<< " operand of the '"
<< " operand of '"
<< BinaryOperator::getOpcodeStr(B->getOpcode())
<< "' expression is a garbage value";
<< "' is a garbage value";
}
else {
// Neither operand was undefined, but the result is undefined.

2
clang/test/Analysis/uninit-vals-ps-region.c
View File

@ -25,7 +25,7 @@ void test_uninit_pos() {
struct TestUninit v2 = test_uninit_aux();
int z;
v1.y = z;
test_unit_aux2(v2.x + v1.y); // expected-warning{{The right operand of the '+' expression is a garbage value}}
test_unit_aux2(v2.x + v1.y); // expected-warning{{The right operand of '+' is a garbage value}}
}
void test_uninit_neg() {
struct TestUninit v1 = { 0, 0 };

6
clang/test/Analysis/uninit-vals-ps.c
View File

@ -22,7 +22,7 @@ int f2() {
int x;
if (x+1) // expected-warning{{The left operand of the '+' expression is a garbage value}}
if (x+1) // expected-warning{{The left operand of '+' is a garbage value}}
return 1;
return 2;
@ -31,13 +31,13 @@ int f2() {
int f2_b() {
int x;
return ((1+x)+2+((x))) + 1 ? 1 : 2; // expected-warning{{The right operand of the '+' expression is a garbage value}}
return ((1+x)+2+((x))) + 1 ? 1 : 2; // expected-warning{{The right operand of '+' is a garbage value}}
}
int f3(void) {
int i;
int *p = &i;
if (*p > 0) // expected-warning{{The left operand of the '>' expression is a garbage value}}
if (*p > 0) // expected-warning{{The left operand of '>' is a garbage value}}
return 0;
else
return 1;