Viewing file:  symbolic-9.c (6.12 KB) -rw-r--r--
Select action/file-type:
 (+) |  (+) |  (+) | Code (+) | Session (+) |  (+) | SDB (+) |  (+) |  (+) |  (+) |  (+) |  (+) |
#include "analyzer-decls.h"
struct st
{
void *ptr[10];
int arr[10];
};
/* Various combinations of a pair of writes, involving
symbolic vs concrete clusters, with symbolic vs concrete keys
within them. */
struct st g;
/* "ptr" write: fully concrete. */
struct st
test_conc_conc_ptr_conc_conc_arr (void)
{
struct st s;
s.ptr[1] = __builtin_malloc (1024);
__analyzer_describe (0, s.ptr[1]); /* { dg-warning "HEAP_ALLOCATED_REGION" } */
s.arr[5] = 42;
__analyzer_describe (0, s.ptr[1]); /* { dg-warning "HEAP_ALLOCATED_REGION" } */
__analyzer_describe (0, s.arr[5]); /* { dg-warning "42" } */
return s;
}
struct st
test_conc_conc_ptr_conc_sym_arr (int j)
{
struct st s;
s.ptr[1] = __builtin_malloc (1024);
__analyzer_describe (0, s.ptr[1]); /* { dg-warning "HEAP_ALLOCATED_REGION" } */
s.arr[j] = 42;
__analyzer_describe (0, s.ptr[1]); /* { dg-warning "UNKNOWN" } */
__analyzer_describe (0, s.arr[j]); /* { dg-warning "42" } */
return s;
}
struct st
test_conc_conc_ptr_sym_conc_arr (struct st *p)
{
struct st s;
s.ptr[1] = __builtin_malloc (1024);
__analyzer_describe (0, s.ptr[1]); /* { dg-warning "HEAP_ALLOCATED_REGION" } */
p->arr[5] = 42;
__analyzer_describe (0, s.ptr[1]); /* { dg-warning "HEAP_ALLOCATED_REGION" } */
__analyzer_describe (0, p->arr[5]); /* { dg-warning "42" } */
return s;
}
struct st
test_conc_conc_ptr_sym_sym_arr (struct st *p, int j)
{
struct st s;
s.ptr[1] = __builtin_malloc (1024);
__analyzer_describe (0, s.ptr[1]); /* { dg-warning "HEAP_ALLOCATED_REGION" } */
p->arr[j] = 42;
__analyzer_describe (0, s.ptr[1]); /* { dg-warning "HEAP_ALLOCATED_REGION" } */
__analyzer_describe (0, p->arr[j]); /* { dg-warning "42" } */
return s;
}
/* "ptr" write: symbolic region, but at concrete offset. */
void
test_sym_conc_ptr_conc_conc_arr (struct st *p)
{
p->ptr[1] = __builtin_malloc (1024);
__analyzer_describe (0, p->ptr[1]); /* { dg-warning "HEAP_ALLOCATED_REGION" } */
g.arr[5] = 42;
__analyzer_describe (0, p->ptr[1]); /* { dg-warning "UNKNOWN" } */
__analyzer_describe (0, g.arr[5]); /* { dg-warning "42" } */
}
void
test_sym_conc_ptr_conc_sym_arr (struct st *p, int j)
{
p->ptr[1] = __builtin_malloc (1024);
__analyzer_describe (0, p->ptr[1]); /* { dg-warning "HEAP_ALLOCATED_REGION" } */
g.arr[j] = 42;
__analyzer_describe (0, p->ptr[1]); /* { dg-warning "UNKNOWN" } */
__analyzer_describe (0, g.arr[j]); /* { dg-warning "42" } */
}
void
test_sym_conc_ptr_sym_conc_arr (struct st *p, struct st *q)
{
p->ptr[1] = __builtin_malloc (1024);
__analyzer_describe (0, p->ptr[1]); /* { dg-warning "HEAP_ALLOCATED_REGION" } */
q->arr[5] = 42;
__analyzer_describe (0, p->ptr[1]); /* { dg-warning "UNKNOWN" } */
__analyzer_describe (0, q->arr[5]); /* { dg-warning "42" } */
}
void
test_sym_conc_ptr_sym_sym_arr (struct st *p, struct st *q, int j)
{
p->ptr[1] = __builtin_malloc (1024);
__analyzer_describe (0, p->ptr[1]); /* { dg-warning "HEAP_ALLOCATED_REGION" } */
q->arr[j] = 42;
__analyzer_describe (0, p->ptr[1]); /* { dg-warning "UNKNOWN" } */
__analyzer_describe (0, q->arr[j]); /* { dg-warning "42" } */
}
/* "ptr" write: concrete region, but at symbolic offset. */
struct st
test_conc_sym_ptr_conc_conc_arr (int i)
{
struct st s;
s.ptr[i] = __builtin_malloc (1024);
__analyzer_describe (0, s.ptr[i]); /* { dg-warning "HEAP_ALLOCATED_REGION" } */
s.arr[5] = 42;
__analyzer_describe (0, s.ptr[i]); /* { dg-warning "UNKNOWN" } */
__analyzer_describe (0, s.arr[5]); /* { dg-warning "42" } */
return s;
}
struct st
test_conc_sym_ptr_conc_sym_arr (int i, int j)
{
struct st s;
s.ptr[i] = __builtin_malloc (1024);
__analyzer_describe (0, s.ptr[i]); /* { dg-warning "HEAP_ALLOCATED_REGION" } */
s.arr[j] = 42;
__analyzer_describe (0, s.ptr[i]); /* { dg-warning "UNKNOWN" } */
__analyzer_describe (0, s.arr[j]); /* { dg-warning "42" } */
return s;
}
struct st
test_conc_sym_ptr_sym_conc_arr (int i, struct st *p)
{
struct st s;
s.ptr[i] = __builtin_malloc (1024);
__analyzer_describe (0, s.ptr[i]); /* { dg-warning "HEAP_ALLOCATED_REGION" } */
p->arr[5] = 42;
__analyzer_describe (0, s.ptr[i]); /* { dg-warning "HEAP_ALLOCATED_REGION" } */
__analyzer_describe (0, p->arr[5]); /* { dg-warning "42" } */
return s;
} /* { dg-bogus "leak" "PR analyzer/105190" { xfail *-*-* } } */
struct st
test_conc_sym_ptr_sym_sym_arr (int i, struct st *p, int j)
{
struct st s;
s.ptr[i] = __builtin_malloc (1024);
__analyzer_describe (0, s.ptr[i]); /* { dg-warning "HEAP_ALLOCATED_REGION" } */
p->arr[j] = 42;
__analyzer_describe (0, s.ptr[i]); /* { dg-warning "HEAP_ALLOCATED_REGION" } */
__analyzer_describe (0, p->arr[j]); /* { dg-warning "42" } */
return s;
} /* { dg-bogus "leak" "PR analyzer/105190" { xfail *-*-* } } */
/* "ptr" write: symbolic region, with symbolic offset. */
void
test_sym_sym_ptr_conc_conc_arr (struct st *p, int i)
{
p->ptr[i] = __builtin_malloc (1024);
__analyzer_describe (0, p->ptr[i]); /* { dg-warning "HEAP_ALLOCATED_REGION" } */
g.arr[5] = 42;
__analyzer_describe (0, p->ptr[i]); /* { dg-warning "UNKNOWN" } */
__analyzer_describe (0, g.arr[5]); /* { dg-warning "42" } */
}
void
test_sym_sym_ptr_conc_sym_arr (struct st *p, int i, int j)
{
p->ptr[i] = __builtin_malloc (1024);
__analyzer_describe (0, p->ptr[i]); /* { dg-warning "HEAP_ALLOCATED_REGION" } */
g.arr[j] = 42;
__analyzer_describe (0, p->ptr[i]); /* { dg-warning "UNKNOWN" } */
__analyzer_describe (0, g.arr[j]); /* { dg-warning "42" } */
}
void
test_sym_sym_ptr_sym_conc_arr (struct st *p, int i, struct st *q)
{
p->ptr[i] = __builtin_malloc (1024);
__analyzer_describe (0, p->ptr[i]); /* { dg-warning "HEAP_ALLOCATED_REGION" } */
q->arr[5] = 42;
__analyzer_describe (0, p->ptr[i]); /* { dg-warning "UNKNOWN" } */
__analyzer_describe (0, q->arr[5]); /* { dg-warning "42" } */
}
void
test_sym_sym_ptr_sym_sym_arr (struct st *p, int i, struct st *q, int j)
{
p->ptr[i] = __builtin_malloc (1024);
__analyzer_describe (0, p->ptr[i]); /* { dg-warning "HEAP_ALLOCATED_REGION" } */
q->arr[j] = 42;
__analyzer_describe (0, p->ptr[i]); /* { dg-warning "UNKNOWN" } */
__analyzer_describe (0, q->arr[j]); /* { dg-warning "42" } */
}
|
