add another bug found by Alive2 and fuzzing
MODIFY
BugList.md
BugList.md
@@ -67,6 +67,7 @@ Please contact us or submit a PR if something is missing or inaccurate.
60. InstSimplify incorrectly folds signed comparisons of 'gep inbounds' (https://llvm.org/PR52429)
61. LoadStoreVectorizer assumes non-willreturn calls always return (https://llvm.org/PR52950)
62. SROA sub-vector memcpy w/subsequent load loses the store (https://llvm.org/PR52971)
+63. NewGVN miscompiles with equal instructions modulo attributes (https://llvm.org/PR53218)
### Bugs found in Z3

add another bug found by Alive2 and @regehr fuzzing