[llvm] [llubi] Add support for GEP/alloca/inttoptr (PR #181861)

[Nikita Popov via llvm-commits]

================
@@ -129,6 +133,8 @@ class Context {
   // For now we don't model the behavior of address reuse, which is common
   // with stack coloring.
   uint64_t AllocationBase = 8;
+  // Maintains a global list of ‘exposed’ provenances. This is used to form a
+  // pointer with an exposed provenance.
----------------
nikic wrote:

Which isn't to say this is not a useful mode to provide as well. In cases like this where semantics are unclear and inconsistent with the implementation, we'd probably want the ability to both control whether we want to over- or under-estimate UB.

https://github.com/llvm/llvm-project/pull/181861