[cfe-dev] Feature request & new analyze regression

[Andy Wick]

I've submitted bugzilla for both.


On 1/12/10 11:07 AM, "Ted Kremenek" <kremenek at apple.com> wrote:
> The second issue is the crash.  Can you provide a preprocessed version of
> test.c (assuming it depends on headers) and submit a separate bugzilla report?

No include files, all the file contained was
void test (void *uw1) {
    unsigned int foo;
    foo = ((long)(uw1));
}

It broke between 93136 and 93238

Thanks,
Andy

> 
> Cheers,
> Ted
> 
> On Jan 12, 2010, at 6:41 AM, Andy Wick wrote:
> 
>> Would it be possible to configure check for arc4random function existence,
>> and if not available turn off the rand function security errors?  (I assume
>> this is some MacOS function?) Or is there a ­Wno* to turn them off?
>> 
>> 
>> Updated to TIP this morning, last update was I think 2 days ago.
>> 
>> void test (void *uw1) {
>>    unsigned int foo;
>>    foo = ((long)(uw1));
>> }
>> 
>> clang --analyze test.c
>> 
>> clang: SValuator.cpp:119: clang::SValuator::CastResult
>> clang::SValuator::EvalCast(clang::SVal, const clang::GRState*,
>> clang::QualType, clang::QualType): Assertion `Loc::IsLocType(castTy)'
>> failed.
>> 0  clang           0x000000000142a77f
>> 1  clang           0x000000000142af81
>> 2  libpthread.so.0 0x0000002a9567f160
>> 3  libc.so.6       0x0000002a95d5f745 gsignal + 69
>> 4  libc.so.6       0x0000002a95d60eb3 abort + 467
>> 5  libc.so.6       0x0000002a95d58dc9
>> 6  clang           0x00000000006c057e
>> 7  clang           0x000000000067efcf
>> 8  clang           0x0000000000679ac4
>> 9  clang           0x0000000000679fe8
>> 10 clang           0x0000000000679a54
>> 11 clang           0x0000000000680bfd
>> 12 clang           0x000000000066e708
>> 13 clang           0x000000000066e972
>> 14 clang           0x00000000004d9b2f
>> 15 clang           0x00000000004d84d0
>> 16 clang           0x00000000004d89b5
>> 17 clang           0x00000000006e39f6
>> 18 clang           0x00000000004347c8
>> 19 clang           0x0000000000437851 main + 1585
>> 20 libc.so.6       0x0000002a95d4d1d7 __libc_start_main + 215
>> 21 clang           0x000000000043263a
>> Stack dump:
>> 0.    Program arguments: /usr/local/bin/clang -cc1 -triple
>> x86_64-unknown-linux-gnu -analyze -disable-free -main-file-name test.c
>> -analyzer-store=region -analyzer-opt-analyze-nested-blocks -warn-dead-stores
>> -warn-security-syntactic -checker-cfref -analyzer-eagerly-assume
>> -warn-objc-methodsigs -warn-objc-unused-ivars -analyzer-output plist
>> -mrelocation-model static -mdisable-fp-elim -munwind-tables -target-cpu
>> x86-64 -v -resource-dir /usr/local/lib/clang/1.1 -fmessage-length 166
>> -fgnu-runtime -fdiagnostics-show-option -fcolor-diagnostics -o test.plist -x
>> c test.c
>> 1.    <eof> parser at end of file
>> 2.    test.c:3:5: Error evaluating statement
>> 3.    test.c:3:5: Error evaluating statement
>> 4.    test.c:3:11: Error evaluating statement
>> 
>> 
>> _______________________________________________
>> cfe-dev mailing list
>> cfe-dev at cs.uiuc.edu
>> http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev
> 
>