GaloisInc/cclyzerpp

datalog: Don't instantiate C++ components

langston-barrett opened this issue · 0 comments

There are some C++-related components/relations like ThrowInstruction that don't meaningfully contribute to the core pointer analysis relations. To speed up the analysis, we should not instantiate them in the analysis. However, we can instantiate them in debug builds to keep them from bitrotting.

.comp ThrowInstruction {