Balazs Benics f10a8706a1 [analyzer] Sink false [[assume]] execution paths (#130418) ...

This PR splits the existing modeling of builtin assume from the
BuiltinFunctionChecker.

We just sink the execution path if we are about to leave the assume
expression with a false assumption.
Assumptions with side-effects are skipped, and ignored. Their values are
"UnknownVal" anyway.

2025-03-11 18:11:09 +01:00

13 KiB

Raw Blame History

View Raw