Searched defs:KnownSVal (Results 1 – 1 of 1) sorted by relevance
256 KnownSVal() {} in KnownSVal() function262 KnownSVal(const DefinedSVal &V) : SVal(V) {} in KnownSVal() function263 KnownSVal(const UndefinedVal &V) : SVal(V) {} in KnownSVal() function