[llvm] [llubi] Add support for exposed provenance (PR #200596)

[Nikita Popov via llvm-commits]

================
@@ -0,0 +1,41 @@
+; NOTE: Assertions have been autogenerated by utils/update_llubi_test_checks.py UTC_ARGS: --version 6
+; RUN: not llubi --verbose < %s 2>&1 | FileCheck %s
+
+target datalayout = "e-p:64:64:64"
+
+define void @main() {
+  %alloc1 = alloca i32
+  %alloc2 = alloca i32
+
+  %addr1 = ptrtoint ptr %alloc1 to i64
+  %addr2 = ptrtoint ptr %alloc2 to i64
+  %ptrdiff = sub i64 %addr2, %addr1
+
+  %p = inttoptr i64 %addr1 to ptr
+  %gep = getelementptr i8, ptr %p, i64 %ptrdiff
+
+  ; After %alloc1 is acceed, we cannot access other memory objects later.
----------------
nikic wrote:

```suggestion
  ; After %alloc1 is accessed, we cannot access other memory objects later.
```

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