diff options
| -rw-r--r-- | clang/lib/Analysis/GRExprEngine.cpp | 2 | ||||
| -rw-r--r-- | clang/test/Analysis/uninit-vals-ps.c | 8 |
2 files changed, 9 insertions, 1 deletions
diff --git a/clang/lib/Analysis/GRExprEngine.cpp b/clang/lib/Analysis/GRExprEngine.cpp index 71d7ed34035..ce64875797c 100644 --- a/clang/lib/Analysis/GRExprEngine.cpp +++ b/clang/lib/Analysis/GRExprEngine.cpp @@ -1596,7 +1596,7 @@ void GRExprEngine::VisitUnaryOperator(UnaryOperator* U, NodeTy* Pred, if (asLVal) MakeNode(Dst, U, *I, SetRVal(St, U, location)); else - EvalLoad(Dst, Ex, *I, St, location); + EvalLoad(Dst, U, *I, St, location); } return; diff --git a/clang/test/Analysis/uninit-vals-ps.c b/clang/test/Analysis/uninit-vals-ps.c index 503ab1abbcc..707f78a96bd 100644 --- a/clang/test/Analysis/uninit-vals-ps.c +++ b/clang/test/Analysis/uninit-vals-ps.c @@ -33,3 +33,11 @@ int f2_b() { return ((x+1)+2+((x))) + 1 ? 1 : 2; // expected-warning{{Branch}} } +int f3(void) { + int i; + int *p = &i; + if (*p > 0) // expected-warning{{Branch condition evaluates to an uninitialized value}} + return 0; + else + return 1; +} |
