steakhal added a comment.
I'm proposing to backport this fix to clang-16.
https://github.com/llvm/llvm-project/issues/61097
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D140891/new/
https://reviews.llvm.org/D140891
This revision was landed with ongoing or failed builds.
This revision was automatically updated to reflect the committed changes.
Closed by commit rG3674421c4bc0: [analyzer] Fix assertion failure in SMT
conversion for unary operator on floats (authored by
tomasz-kaminski-sonarsource, committed
mikhail.ramalho accepted this revision.
mikhail.ramalho added a comment.
This revision is now accepted and ready to land.
LGTM.
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D140891/new/
https://reviews.llvm.org/D140891
tomasz-kaminski-sonarsource created this revision.
Herald added subscribers: steakhal, manas, ASDenysPetrov, dkrupp, donat.nagy,
Szelethus, mikhail.ramalho, a.sidorin, szepet, baloghadamsoftware, xazax.hun.
Herald added a reviewer: NoQ.
Herald added a project: All.
tomasz-kaminski-sonarsource