Re: [PATCH 43/49] analyzer: new file: exploded-graph.h

2020-01-09 Thread David Malcolm
On Wed, 2019-12-11 at 13:04 -0700, Jeff Law wrote: > On Fri, 2019-11-15 at 20:23 -0500, David Malcolm wrote: > > This patch adds exploded_graph and related classes, for managing > > exploring paths through the user's code as a directed graph > > of pairs. > > > > gcc/ChangeLog: > > * analyzer

Re: [PATCH 43/49] analyzer: new file: exploded-graph.h

2019-12-12 Thread David Malcolm
On Thu, 2019-12-12 at 10:28 -0500, David Malcolm wrote: > On Wed, 2019-12-11 at 13:04 -0700, Jeff Law wrote: > > On Fri, 2019-11-15 at 20:23 -0500, David Malcolm wrote: [...] > > > + > > > + > > > // > > > // > > NIT. Is there some

Re: [PATCH 43/49] analyzer: new file: exploded-graph.h

2019-12-12 Thread David Malcolm
On Wed, 2019-12-11 at 13:04 -0700, Jeff Law wrote: > On Fri, 2019-11-15 at 20:23 -0500, David Malcolm wrote: > > This patch adds exploded_graph and related classes, for managing > > exploring paths through the user's code as a directed graph > > of pairs. > > > > gcc/ChangeLog: > > * analyzer

Re: [PATCH 43/49] analyzer: new file: exploded-graph.h

2019-12-11 Thread Jeff Law
On Fri, 2019-11-15 at 20:23 -0500, David Malcolm wrote: > This patch adds exploded_graph and related classes, for managing > exploring paths through the user's code as a directed graph > of pairs. > > gcc/ChangeLog: > * analyzer/exploded-graph.h: New file. > --- > gcc/analyzer/exploded-gra

[PATCH 43/49] analyzer: new file: exploded-graph.h

2019-11-15 Thread David Malcolm
This patch adds exploded_graph and related classes, for managing exploring paths through the user's code as a directed graph of pairs. gcc/ChangeLog: * analyzer/exploded-graph.h: New file. --- gcc/analyzer/exploded-graph.h | 754 ++ 1 file changed,