[cfe-dev] exhaustiveness of CSA checkers

[Artem Dergachev via cfe-dev]

Loop unrolling won't work on most loops if you don't remove the leashes 
in Static Analyzer's LoopUnrolling.cpp that i mentioned before. We don't 
have flags to control this yet (but i don't mind having some).

Other than that, it works for me most of the time when i debug false 
negatives. So your lack of success makes me curious about specifics. I 
might have forgotten something or it might be that something really 
curious is going on in your case.


On 1/16/20 2:17 AM, Fernandez, Matthew wrote:
> Thanks, Artem. Lots of useful flags. Unfortunately I have already experimented with all of them though.
>
>> -----Original Message-----
>> From: Artem Dergachev <noqnoqneo at gmail.com>
>> Sent: Wednesday, January 15, 2020 14:36
>> To: Fernandez, Matthew <matthew.fernandez at intel.com>; Gábor Horváth
>> <xazax at google.com>
>> Cc: cfe-dev at lists.llvm.org
>> Subject: Re: [cfe-dev] exhaustiveness of CSA checkers
>>
>> ...
>> and also removing the artificial heuristics for loop unrolling (that attempt
>> to discover whether the loop is statically bounded in LoopUnrolling.cpp)
>> ...