In function 'test_read_through_global_without_check':
tests/cpychecker/absinterp/read-through-global-ptr-unchecked/input.c:35:nn: warning: possibly dereferencing NULL (coord_ptr.0->x) at tests/cpychecker/absinterp/read-through-global-ptr-unchecked/input.c:35 [enabled by default]
tests/cpychecker/absinterp/read-through-global-ptr-unchecked/input.c:35:nn: note: when treating unknown struct coord * from tests/cpychecker/absinterp/read-through-global-ptr-unchecked/input.c:31 as NULL at:     return coord_ptr->x;
tests/cpychecker/absinterp/read-through-global-ptr-unchecked/input.c:34:nn: note: graphical error report for function 'test_read_through_global_without_check' written out to 'tests/cpychecker/absinterp/read-through-global-ptr-unchecked/input.c.test_read_through_global_without_check-refcount-errors.html'
