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