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
134 stars 15 forks source link

Drop support for LLVM < 10 #131

Closed langston-barrett closed 1 year ago

langston-barrett commented 1 year ago

It's not clear that the FactGenerator would compile with LLVM less than 10, and testing this (e.g., in CI) would add a maintenance burden for no clear benefit. LLVM 10 is quite old, there are unlikely to be clients interested in it.

langston-barrett commented 1 year ago

The docs only claim compatibility with LLVM 10-16, so fixing this issue just requires removing old #if LLVM_VERSION_MAJORs from the FactGenerator.