view gcc/testsuite/gcc.dg/analyzer/data-model-13.c @ 145:1830386684a0

gcc-9.2.0
author anatofuz
date Thu, 13 Feb 2020 11:34:05 +0900
parents
children
line wrap: on
line source

#include <stdlib.h>

union
{
  void *ptr_val;
  int int_val;
} global_union;

void test_1 (void)
{
  global_union.ptr_val = malloc (1024);
}

void test_2 (void)
{
  global_union.ptr_val = malloc (1024); /* { dg-message "allocated here" } */
  global_union.int_val = 0;
} /* { dg-warning "leak of '<unknown>' " } */
/* TODO: something better than "<unknown>".  */
/* TODO: better location for the leak.  */