gcc/testsuite/c-c++-common/analyzer/pr94851-1.c

   1 /* { dg-skip-if "" { powerpc*-*-aix* } } */
   2 /* { dg-additional-options "-O2" } */
   3
   4 #include <stdio.h>
   5 #include <stdlib.h>
   6
   7 typedef struct AMARK {
   8   struct AMARK *m_next;
   9   char m_name;
  10 } AMARK;
  11
  12 struct buf {
  13   AMARK *b_amark;
  14 };
  15
  16 struct buf *curbp;
  17
  18 int pamark(void) {
  19   int c;
  20   AMARK *p = curbp->b_amark;
  21   AMARK *last = curbp->b_amark;
  22
  23   c = getchar();
  24
  25   while (p != (AMARK *)NULL && p->m_name != (char)c) {
  26     last = p;
  27     p = p->m_next;
  28   }
  29
  30   if (p != (AMARK *)NULL) {
  31     printf("over writing mark %c\n", c);
  32   } else {
  33     if ((p = (AMARK *)malloc(sizeof(AMARK))) == (AMARK *)NULL)
  34       return 0;
  35
  36     p->m_next = (AMARK *)NULL;
  37
  38     if (curbp->b_amark == (AMARK *)NULL)
  39       curbp->b_amark = p;
  40     else
  41       last->m_next = p;
  42   }
  43
  44   p->m_name = (char)c; /* { dg-bogus "leak of 'p'" "bogus leak" } */
  45
  46   return 1;
  47 }