[PATCH] D131001: [BoundsChecking] Fix merging of sizes

[Vitaly Buka via Phabricator via llvm-commits]

vitalybuka accepted this revision.
vitalybuka added inline comments.


================
Comment at: llvm/lib/Analysis/MemoryBuiltins.cpp:1006
+  case ObjectSizeOpts::Mode::ExactUnderlyingSizeAndOffset:
+    return LHS.first.eq(RHS.first) && LHS.second.eq(RHS.second) ? LHS : unknown();
   }
----------------



================
Comment at: llvm/lib/Analysis/MemoryBuiltins.cpp:1006
+  case ObjectSizeOpts::Mode::ExactUnderlyingSizeAndOffset:
+    return LHS.first.eq(RHS.first) && LHS.second.eq(RHS.second) ? LHS : unknown();
   }
----------------
vitalybuka wrote:
> 
or even


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D131001/new/

https://reviews.llvm.org/D131001