Searched refs:IVarLoc (Results 1 – 1 of 1) sorted by relevance
287 Optional<Loc> IVarLoc = C.getSVal(IRE).getAs<Loc>(); in checkPostStmt() local288 if (!IVarLoc) in checkPostStmt()292 SymbolRef Sym = State->getSVal(*IVarLoc).getAsSymbol(); in checkPostStmt()