Viewing file:  conditionals-2.c (1.15 KB) -rw-r--r--
Select action/file-type:
 (+) |  (+) |  (+) | Code (+) | Session (+) |  (+) | SDB (+) |  (+) |  (+) |  (+) |  (+) |  (+) |
/* { dg-skip-if "" { *-*-* } { "-fno-fat-lto-objects" } { "" } } */
#include "../analyzer-decls.h"
#define Z_NULL 0
static void __attribute__((noinline))
__analyzer_test_1_callee (void *p, void *q)
{
__analyzer_dump_exploded_nodes (0); /* { dg-warning "1 processed enode" } */
__analyzer_eval (p == Z_NULL); /* { dg-warning "FALSE" } */
__analyzer_eval (p != Z_NULL); /* { dg-warning "TRUE" } */
__analyzer_eval (q == Z_NULL); /* { dg-warning "FALSE" } */
__analyzer_eval (q != Z_NULL); /* { dg-warning "TRUE" } */
}
void test_1 (void *p, void *q)
{
if (p == Z_NULL || q == Z_NULL)
return;
__analyzer_test_1_callee (p, q);
}
static void __attribute__((noinline))
__analyzer_test_2_callee (void *p, void *q)
{
__analyzer_dump_exploded_nodes (0); /* { dg-warning "1 processed enode" } */
__analyzer_eval (p == Z_NULL); /* { dg-warning "FALSE" } */
__analyzer_eval (p != Z_NULL); /* { dg-warning "TRUE" } */
__analyzer_eval (q == Z_NULL); /* { dg-warning "FALSE" } */
__analyzer_eval (q != Z_NULL); /* { dg-warning "TRUE" } */
}
void test_2 (void *p, void *q)
{
if (p != Z_NULL && q != Z_NULL)
__analyzer_test_2_callee (p, q);
}
|
