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

dl: Suppress remaining warnings #89

Closed langston-barrett closed 1 year ago

langston-barrett commented 1 year ago

TIL about a Souffle pragma to suppress warnings on a per-relation basis:

.pragma "suppress-warnings" "relation_name"

We should use this pragma to suppress warnings that can't/shouldn't be fixed (i.e., all the warnings that fire on v0.3). That way, warnings that are printed will be relevant.

langston-barrett commented 1 year ago

Arg, it looks like you can only have one .pragma "supress-warnings" per program, which conflicts with the modular/multi-project style we have in cclyzer++. Also, it would be best if you were able to suppress individual warnings rather than all warnings for a given relation... We should just suffer through with the few warnings we can't get rid of.