Searched defs:getKnownValue (Results 1 – 2 of 2) sorted by relevance
809 static std::optional<int64_t> getKnownValue(ProgramStateRef State, SVal V) { in getKnownValue() function
7340 std::optional<bool> getKnownValue() const { return KnownValue; } in getKnownValue() function