forked from OSchip/llvm-project
30 lines
1.4 KiB
C
30 lines
1.4 KiB
C
void always_warning() { int *p = 0; *p = 0xDEADBEEF; }
|
|
|
|
// FIXME: False positive due to loop unrolling. This should be fixed.
|
|
|
|
int pr8403()
|
|
{
|
|
int i;
|
|
for(i=0; i<10; i++)
|
|
{
|
|
int j;
|
|
for(j=0; j+1<i; j++)
|
|
{
|
|
}
|
|
}
|
|
return 0;
|
|
}
|
|
|
|
// RUN: %clang_cc1 -analyze -analyzer-store=region -analyzer-constraints=range -fblocks -analyzer-opt-analyze-nested-blocks -analyzer-check-objc-mem -analyzer-check-idempotent-operations -analyzer-max-loop 3 %s 2>&1 | FileCheck --check-prefix=Loops3 %s
|
|
// RUN: %clang_cc1 -analyze -analyzer-store=region -analyzer-constraints=range -fblocks -analyzer-opt-analyze-nested-blocks -analyzer-check-objc-mem -analyzer-check-idempotent-operations -analyzer-max-loop 4 %s 2>&1 | FileCheck --check-prefix=Loops4 %s
|
|
// RUN: %clang_cc1 -analyze -analyzer-store=region -analyzer-constraints=range -fblocks -analyzer-opt-analyze-nested-blocks -analyzer-check-objc-mem -analyzer-check-idempotent-operations %s 2>&1 | FileCheck --check-prefix=LoopsDefault %s
|
|
|
|
// CHECK-Loops3: :1:37: warning: Dereference of null pointer
|
|
// CHECK-Loops3: :11:27: warning: The left operand to '+' is always 0
|
|
// CHECK-Loops3: 2 warnings generated
|
|
// CHECK-Loops4: :1:37: warning: Dereference of null pointer
|
|
// CHECK-Loops4: 1 warning generated.
|
|
// CHECK-LoopsDefault: :1:37: warning: Dereference of null pointer
|
|
// CHECK-LoopsDefault: 1 warning generated.
|
|
|