Re: [Static Analyzer] New checker hook: checkInitialState

2015-11-30 Thread Gabor Kozar via cfe-commits
This patch proposal is now on Phabricator: http://reviews.llvm.org/D15090 - let's continue this discussion there. > At a glance, I wonder if it's worth it to provide a CheckerContext inside this callback and then handle transitions properly (which would allow the checker to split the program stat

Re: [Static Analyzer] New checker hook: checkInitialState

2015-11-30 Thread Artem Dergachev via cfe-commits
Hmm. I once thought about creating a 'checkBeginAnalysis()' callback to match 'checkEndAnalysis()'; this one's more powerful, and matches 'checkEndFunction()' in a similar manner. At a glance, I wonder if it's worth it to provide a CheckerContext inside this callback and then handle transition

Re: [Static Analyzer] New checker hook: checkInitialState

2015-11-29 Thread Gabor Kozar via cfe-commits
+Jordan, Anna --- Best regards, Gábor 'ShdNx' Kozár http://gaborkozar.me On Sat, Nov 28, 2015, at 22:52, Gabor Kozar via cfe-commits wrote: > Hi, > > Once, long ago, I started working on this checker callback, but forgot > about it. I have decided to finish it now. Original discussion: > http: