llvm-project

shylie/llvm-project

Fork 0

Commit Graph

Author	SHA1	Message	Date
Balazs Benics	0a1eff2ece	[analyzer] Drop assertion enforcing that assume args are known constants (#151908 ) We sometimes don't know if the operand of [[assume]] is true/false, and that's okay. We can just ignore the attribute in that case. If we wanted something more fancy, we could bring the assumption to the constraints, but dropping them should be just as fine for now. Fixes #151854	2025-08-05 17:03:53 +02:00
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

Author

SHA1

Message

Date

Balazs Benics

0a1eff2ece

[analyzer] Drop assertion enforcing that assume args are known constants (#151908 )

We sometimes don't know if the operand of [[assume]] is true/false, and
that's okay. We can just ignore the attribute in that case.

If we wanted something more fancy, we could bring the assumption to the
constraints, but dropping them should be just as fine for now.

Fixes #151854

2025-08-05 17:03:53 +02:00

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

2 Commits