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-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. Origi

[Static Analyzer] New checker hook: checkInitialState

2015-11-28 Thread Gabor Kozar via cfe-commits
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://lists.llvm.org/pipermail/cfe-commits/Week-of-Mon-20131216/095565.html The motivation was (pipermail doesn't seem to have my original mail, for some rea