On Fri, 2019-11-15 at 20:23 -0500, David Malcolm wrote: > This patch adds call_string, a class for representing the > call stacks at a program_point, so that we can ensure that > paths through the code are interprocedurally valid. > > gcc/ChangeLog: > * analyzer/call-string.cc: New file. > * analyzer/call-string.h: New file. Looks reasonable. THere may be some scalability issues in here, but I guess with all the work you've been doing any particularly bad ones for the examples you're working with have been fixed.
jeff >
