Searched refs:IsNotTruncated (Results 1 – 1 of 1) sorted by relevance
611 ProgramStateRef IsNotTruncated, IsTruncated; in evalIntegralCast() local612 std::tie(IsNotTruncated, IsTruncated) = state->assume(CompVal); in evalIntegralCast()613 if (!IsNotTruncated && IsTruncated) { in evalIntegralCast()