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