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

[Yingwei Zheng 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.
----------------
dtcxzyw wrote:

Many approximations in llubi were made to align with the current optimizations. Otherwise, I cannot leverage fuzzers to find interesting inconsistencies and bugs. I'd keep this approximation and leave a FIXME here.


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