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

/* { dg-additional-options "-fanalyzer-checker=pattern-test" } */

#include <stdlib.h>

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

void test1(void *ptr)
{
  if (ptr) { /* { dg-warning "pattern match on 'ptr != 0'" "ptr != 0" } */
  /* { dg-warning "pattern match on 'ptr == 0'" "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 'p == 0'" "p == 0" { target *-*-* } cond_2 } */
  /* { dg-warning "pattern match on 'q == 0'" "q == 0" { target *-*-* } cond_2 } */
  /* { dg-warning "pattern match on 'p != 0'" "p != 0" { target *-*-* } cond_2 } */
  /* { dg-warning "pattern match on 'q != 0'" "q != 0" { target *-*-* } cond_2 } */
}