зеркало из https://github.com/microsoft/clang-1.git
Shorten the static analyzer diagnostic for 'use of garbage value'.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@82672 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Родитель
7ad2d562e8
Коммит
112ba7e57e
|
@ -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.
|
||||
|
|
|
@ -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 };
|
||||
|
|
|
@ -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;
|
||||
|
|
Загрузка…
Ссылка в новой задаче