../../src/gcc/testsuite/gcc.dg/analyzer/malloc-ipa-8-unchecked.c: In function ‘make_boxed_int’:
../../src/gcc/testsuite/gcc.dg/analyzer/malloc-ipa-8-unchecked.c:21:13: warning: dereference of possibly-NULL ‘result’ [CWE-690] [-Wanalyzer-possible-null-dereference]
   21 |   result->i = i; /* { dg-warning "dereference of possibly-NULL 'result'" } */
      |   ~~~~~~~~~~^~~make_boxed_int’: events 1-2
    |
    |   18 | make_boxed_int (int i)
    |      | ^~~~~~~~~~~~~~
    |      | |
    |      | (1) entry to ‘make_boxed_int|   19 | {
    |   20 |   boxed_int *result = (boxed_int *)wrapped_malloc (sizeof (boxed_int));
    |      |                                    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
    |      |                                    |
    |      |                                    (2) calling ‘wrapped_malloc’ from ‘make_boxed_int|
    +--> wrapped_malloc’: events 3-4
           |
           |    7 | void *wrapped_malloc (size_t size)
           |      |       ^~~~~~~~~~~~~~
           |      |       |
           |      |       (3) entry to ‘wrapped_malloc|    8 | {
           |    9 |   return malloc (size);
           |      |          ~~~~~~~~~~~~~
           |      |          |
           |      |          (4) this call could return NULL
           |
    <------+
    |make_boxed_int’: events 5-6
    |
    |   20 |   boxed_int *result = (boxed_int *)wrapped_malloc (sizeof (boxed_int));
    |      |                                    ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
    |      |                                    |
    |      |                                    (5) possible return of NULL to ‘make_boxed_int’ from ‘wrapped_malloc|   21 |   result->i = i; /* { dg-warning "dereference of possibly-NULL 'result'" } */
    |      |   ~~~~~~~~~~~~~                     
    |      |             |
    |      |             (6)result’ could be NULL: unchecked value from (4)
    |