tree a05984b5509e0955455fcb07cb96c9c1743b672c
parent d22d14375d4410cdb441e04016531962e3abb44e
author Balazs Benics <benicsbalazs@gmail.com> 1741713069 +0100
committer GitHub <noreply@github.com> 1741713069 +0100
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsFcBAABCAAQBQJn0G6tCRC1aQ7uu5UhlAAAiuEQAIFxHq9JPYcRcNQ2oxvllSJe
 g2yPanywkk/Urf7XiovrnjvuxXt+5Bp8ZkUytl2L6/Lh6sGbpiXkCvj48+1vMdXH
 m8lkm4ziyTSUT/j4j3xk9faJPD5F71DI8GCaKA0pk8OtCZ9/gxvrHsQr3b4Fy38o
 rCPIXf7pVyyLQjwR+Z+06c4FA36fcuXEmy2UrycBCWzPQjIGybN+exaFDEaUSrXZ
 0G0OXXieRREX5ov56ZkvLkUTExD7vdR+6BBuP5jnSHcmo0E/73dKTuNahTgp+Qw5
 w151F3xH+uNOTj0um9Y61vWrcPhcJvnFWKCM3L01bhiNzNbLjLi74mdeLN9tKIxx
 sEEXrLrh2q+Tz5BrMxUQPkItiegPXUumCeduBMoPEzXNlwBa1B7MO5qOZ4+iJNZF
 mUCPdiWXzy056iYf26nac7hg2K7DEaDMPrn95860TJ6t1ZymFKVj4viwtf6GPsJa
 /eGB0nlIuK3OhraLNjNR1gU/4xpb8hyAH8pQNiP893AXzhomiKVZE1vRPXHGIW86
 nmGHtxXTiZ6XDebltvaYbAlbHOV1y1bvvqYimFuz3QaFxdeKayQGZQu2mgU7uTKM
 2V2XOR25rHV7KGw7GmGnXXD1o2ijgkUxAMSRkcUTw87fVEyYJ/HCfcrSIZgZG2sD
 d0eTOQtxTQmgaK6hKMXA
 =PPW4
 -----END PGP SIGNATURE-----
 

[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.