[cfe-dev] Analyzer: Extract region-walking behavior from CallAndMessageChecker

[Ted Kremenek]

To clarify, I think I was trying to make two points.  The first was that the direct walking was likely to be prohibitively expensive.  The second was that the check was likely to yield many false positives.  For the first point, we can possibly deal with the efficiency problem by rephrasing the task as some kind of query on the StoreManager that we specifically have the StoreManager implement in some efficient way.

On Jun 26, 2010, at 9:19 PM, Zhongxing Xu wrote:

> Hi,
> 
> I agree with Ted that such explicit walking each element could be
> expensive. But if such check shows some value, we can conditionally
> turn it on with a command line option like
> '-analyzer-check-uninit-fields' and let the user decide.