Searched refs:TerminatorCond (Results 1 – 1 of 1) sorted by relevance
488 if (const Expr *TerminatorCond = in transferCFGBlock() local490 if (State.Env.getValue(*TerminatorCond) == nullptr) in transferCFGBlock()498 *TerminatorCond, State.Env); in transferCFGBlock()503 if (State.Env.getValue(*TerminatorCond) == nullptr) in transferCFGBlock()504 State.Env.setValue(*TerminatorCond, State.Env.makeAtomicBoolValue()); in transferCFGBlock()