This is an archive of the discontinued LLVM Phabricator instance.

[analyzer] ProgramPoint: more explicit printJson()
ClosedPublic

Authored by Charusso on Jun 6 2019, 4:13 AM.

Diff Detail

Repository
rL LLVM

Event Timeline

Charusso created this revision.Jun 6 2019, 4:13 AM
NoQ added a comment.Jun 6 2019, 9:30 PM

Fair enough!

Tests are welcome.

Charusso added a comment.EditedJun 6 2019, 9:36 PM
In D62946#1533592, @NoQ wrote:

Fair enough!

Tests are welcome.

Is it possible? E.g. I have not found any case for PostCondition and may it requires 10+ of dot dumps which is very space-consuming. I think test to printing something is only required on their respective consumers side, which is D62761, so later.

NoQ accepted this revision.Jun 6 2019, 9:41 PM

Aha, ok, right!

I wouldn't be surprised if some of these are entirely unused.

This revision is now accepted and ready to land.Jun 6 2019, 9:41 PM
This revision was automatically updated to reflect the committed changes.
Herald added a project: Restricted Project. · View Herald TranscriptJun 12 2019, 11:20 AM