gcc/testsuite/gcc.dg/analyzer/pattern-test-2.c

/* { dg-additional-options "-fanalyzer-checker=pattern-test -O2" } */
// TODO: run this at every optimization level

#include <stdlib.h>

extern void foo(void *);
extern void bar(void *);

void test1(void *ptr)
{
  if (ptr) { /* { dg-warning "pattern match on 'ptr != 0'" } */
  /* { dg-warning "pattern match on 'ptr == 0'" "" { target *-*-* } .-1 } */
    foo(ptr);
  } else {
    bar(ptr);
  }
}

void test_2 (void *p, void *q)
{
  if (p == NULL || q == NULL) /* { dg-line cond_2 }  */
    return;
  foo(p);

  /* { dg-warning "pattern match on '<unknown> == 0'" "" { target *-*-* } cond_2 } */
  /* { dg-warning "pattern match on '<unknown> != 0'" "" { target *-*-* } cond_2 } */
  /* { dg-warning "pattern match on 'p != 0'" "" { target *-*-* } cond_2 } */
  /* { dg-warning "pattern match on 'q != 0'" "" { target *-*-* } cond_2 } */
}