search

GaloisInc / cclyzerpp

cclyzer++ is a precise and scalable pointer analysis for LLVM code.
https://galoisinc.github.io/cclyzerpp/
BSD 3-Clause "New" or "Revised" License
137 stars 14 forks source link

fact-gen: occasional crash with invalid acces to shufflevector mask #165

Closed adrianherrera closed 1 year ago

adrianherrera commented 1 year ago

For whatever reason, sometimes the shufflevector mask isn't available through operand 2 🤷

langston-barrett commented 1 year ago

The CI failure looks legitimate, we can drop support for LLVM 12 if it's difficult to make it work.

adrianherrera commented 1 year ago

Ahh hmm, don't drop it. Let me look into it.

adrianherrera commented 1 year ago

Ok should be all good now!