[cfe-dev] new checker version (210) fails?

[Ted Kremenek]

Hi Gary,

I've been really busy with some other things over the last few weeks,  
and 0.210 just contains a few opportunistic bug fixes to the  
analyzer.  I haven't forgotten about you.

I suspect what is happening is that a compiler option that ccc- 
analyzer doesn't recognize is being mishandled.  This periodically has  
been a problem, and the plan over the next few weeks is to rewrite ccc- 
analyzer to directly use Clang's internal driver library (which  
processes compiler options) instead of having a hackish Perl script  
layered on top of the Clang driver.  The result of this work (which we  
anticipate won't be too hard) is that a most of these problems will  
just be defined away.

I'm going to try and take a look a this soon.  Thanks for your patience!

Ted

On Jun 7, 2009, at 8:02 AM, Gary Boone wrote:

> Bump... I just tried 210. Same problem.
>
> Thanks,
> Gary
>
> On May 17, 2009, at 10:47 AM, Gary Boone wrote:
>
>> My process is:
>> - download and uncompress (Mac OSX 10.5.7)
>> - cd to my development directory
>> - xcodebuild clean; ~/development/checker-0.195/scan-build -k -V
>> xcodebuild
>>
>> Version 0.195 compiles and produces a webpage of results.
>>
>> Versions 0.199, 0.204, and 0.208 all fail during compilation with
>> multiple occurrences of this message:
>>
>> 	could not find clang-cc line
>>
>>
>> Thanks,
>> Gary
>>
>>
>>
>>
>
> _______________________________________________
> cfe-dev mailing list
> cfe-dev at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev