forked from OSchip/llvm-project
parent
fa559f46c4
commit
ab0ae2139a
|
|
@ -1278,7 +1278,8 @@ void GRExprEngine::EvalLocation(ExplodedNodeSet &Dst, Stmt *S,
|
||||||
ExplodedNode* Pred,
|
ExplodedNode* Pred,
|
||||||
const GRState* state, SVal location,
|
const GRState* state, SVal location,
|
||||||
const void *tag, bool isLoad) {
|
const void *tag, bool isLoad) {
|
||||||
if (Checkers.empty()) {
|
// Early checks for performance reason.
|
||||||
|
if (location.isUnknown() || Checkers.empty()) {
|
||||||
Dst.Add(Pred);
|
Dst.Add(Pred);
|
||||||
return;
|
return;
|
||||||
}
|
}
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue