add LLVM bug

AliveToolkit · Apr 21, 2024 · ee48444 · ee48444
1 parent 4ff1d85
commit ee48444
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/BugList.md b/BugList.md
@@ -93,6 +93,7 @@ Please contact us or submit a PR if something is missing or inaccurate.
 86. Attributor & Function-attrs mark function as noundef incorrectly due to return value not in range (https://llvm.org/PR88026)
 87. InstCombine: incorrect vector fshr->shl transformation (https://llvm.org/PR89338)
 88. VectorCombine: shufflevector reorder leads to srem by poison (https://llvm.org/PR89390)
+89. InstCombine: incorrect srem rewrite (https://llvm.org/PR89516)
 
 
 ### Bugs found in Z3