Skip to content

Commit

Permalink
add another llvm bug
Browse files Browse the repository at this point in the history
found with the new over-abstraction implementation :D
  • Loading branch information
nunoplopes committed Feb 7, 2021
1 parent 158782c commit e21892f
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions BugList.md
Expand Up @@ -53,6 +53,7 @@ Please contact us or submit a PR if something is missing or inaccurate.
46. Loop peeling introduces OOB stores (https://llvm.org/PR48125)
47. Loop vectorizer introduces gep inbounds with negative offset (https://llvm.org/PR48126)
48. DSE incorrectly removes store in function that only triggers UB in one of the branches (https://llvm.org/PR48521)
49. Incorrect swap of fptrunc with fast-math instructions (https://llvm.org/PR49080)


### Bugs found in Z3
Expand Down

0 comments on commit e21892f

Please sign in to comment.