On Fri, 3 Sep 2021, Gerald Pfeifer wrote:
> On Mon, 30 Aug 2021, David Malcolm via Gcc-patches wrote:
>> gcc/analyzer/ChangeLog:
>> PR analyzer/99260
>> * analyzer.h (class custom_edge_info): New class, adapted from
>> exploded_edge::custom_info_t. Make member functions const.
>>
On Mon, 30 Aug 2021, David Malcolm via Gcc-patches wrote:
> gcc/analyzer/ChangeLog:
> PR analyzer/99260
> * analyzer.h (class custom_edge_info): New class, adapted from
> exploded_edge::custom_info_t. Make member functions const.
> Make update_model return bool, converting
Most of the state-management code in the analyzer involves
modifying state objects in-place, which implies a single outcome.
(I originally implemented in-place modification because I wanted
to avoid having to create copies of state objects, and it's now
very difficult to change this aspect of the a
