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