[cfe-commits] r58983 - /cfe/trunk/test/Analysis/null-deref-ps.c

[Zhongxing Xu]

On Tue, Nov 11, 2008 at 12:13 AM, Ted Kremenek <kremenek at apple.com> wrote:

> On Nov 10, 2008, at 1:43 AM, Zhongxing Xu <xuzhongxing at gmail.com> wrote:
>
>  Author: zhongxingxu
>> Date: Mon Nov 10 03:43:12 2008
>> New Revision: 58983
>>
>> URL: http://llvm.org/viewvc/llvm-project?rev=58983&view=rev
>> Log:
>> Add region store model to path-sensitive testing.
>>
>> Modified:
>>   cfe/trunk/test/Analysis/null-deref-ps.c
>>
>> Modified: cfe/trunk/test/Analysis/null-deref-ps.c
>> URL:
>> http://llvm.org/viewvc/llvm-project/cfe/trunk/test/Analysis/null-deref-ps.c?rev=58983&r1=58982&r2=58983&view=diff
>>
>> ===
>> ===
>> ===
>> =====================================================================
>> --- cfe/trunk/test/Analysis/null-deref-ps.c (original)
>> +++ cfe/trunk/test/Analysis/null-deref-ps.c Mon Nov 10 03:43:12 2008
>> @@ -1,4 +1,5 @@
>> // RUN: clang -std=gnu99 -checker-simple -verify %s
>>
>
> You need an "&&" string after the first RUN line in order to enable the
> second one.

Fixed. Thanks.


>
>
>
>> +// RUN: clang -std=gnu99 -checker-simple -analyzer-store-region -verify
>> %a
>>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20081111/40b58538/attachment.html>