Searched refs:PtrSVal (Results 1 – 2 of 2) sorted by relevance
186 std::optional<SVal> getPointeeVal(SVal PtrSVal, ProgramStateRef State) { in getPointeeVal() argument187 if (const auto *Ptr = PtrSVal.getAsRegion()) { in getPointeeVal()
115 std::optional<SVal> getPointeeVal(SVal PtrSVal, ProgramStateRef State);