Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
[PredicateInfo] Remove unused member (NFC)
PredicateInfo takes up a large amount of memory during IPSCCP with many functions. And a large part of that space seems to be going completely to waste here...
- Loading branch information