HomePhabricator

[analyzer] Fix JSON dumps for location contexts.

Description

[analyzer] Fix JSON dumps for location contexts.

Location context ID is a property of the location context, not of an item
within it. It's useful to know the id even when there are no items
in the context, eg. for the purposes of figuring out how did contents
of the Environment for the same location context changed across states.

Differential Revision: https://reviews.llvm.org/D62754

Details

Committed
NoQJun 19 2019, 4:33 PM
Differential Revision
D62754: [analyzer] Fix JSON dumps for location contexts.
Parents
rC363894: [analyzer] Fix JSON dumps for dynamic type information.
Branches
Unknown
Tags
Unknown