[GR-60300] Fix -H:+PrintPointsToStatistics option and make it compatible with WP-SCCP #10281
+113
−97
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
This PR fixes the option
-H:+PrintPointsToStatistics
. On top of that, it ensures that allTypeState
instances are properly registered viaPointsToStats.registerTypeState
(which is is nop ifPrintPointsToStatistics
is disabled).PointsToStats.registerTypeState
was refactored out of the constructors ofSingle
andMulti
TypeState
, because when the constructors are invoked from a subclass (e.g. when creatingConstantTypeState
),registerTypeState
would receive a only a partially initialized object. I've instead movedregisterTypeState
into the places where instances ofTypeState
are created. Fortunately, most such places can be redirected via the factory methods inAnalysisPolicy
, so the diff is quite small.