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

[Zhongxing Xu]

With a command line option, the user could decide to turn it on if he
can tolerate the cost and knows his code should not have uninitialized
fields.

On Sun, Jun 27, 2010 at 1:23 PM, Ted Kremenek <kremenek at apple.com> wrote:
> 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.
>
>