Searched refs:HasValueTop (Results 1 – 1 of 1) sorted by relevance
454 explicit OptionalIntAnalysis(ASTContext &Context, BoolValue &HasValueTop) in OptionalIntAnalysis() argument456 HasValueTop(HasValueTop) {} in OptionalIntAnalysis()520 MergedVal.setProperty("has_value", HasValueTop); in merge()524 BoolValue &HasValueTop; member in __anon5856d3660111::OptionalIntAnalysis543 assert(HasValueTop == nullptr); in runDataflow()544 HasValueTop = in runDataflow()546 return OptionalIntAnalysis(Context, *HasValueTop); in runDataflow()557 BoolValue *HasValueTop = nullptr; member in __anon5856d3660111::WideningTest598 EXPECT_EQ(GetFooValue(Env3)->getProperty("has_value"), HasValueTop); in TEST_F()