Add comment to test case for documentation.

llvm-svn: 60521
This commit is contained in:
Ted Kremenek 2008-12-04 02:06:27 +00:00
parent 8e8cc81aec
commit 4cef8c2d58
1 changed files with 1 additions and 1 deletions

View File

@ -12,6 +12,6 @@ void f4() {
int a;
if (global.data == 0)
a = 3;
if (global.data == 0)
if (global.data == 0) // The true branch is infeasible.
g(a); // no-warning
}