/* { dg-do link } */ | |
/* { dg-require-effective-target lto } */ | |
/* { dg-additional-options "-flto" } */ | |
/* { dg-additional-sources "malloc-ipa-8-lto-a.c malloc-ipa-8-lto-b.c" } */ | |
#include <stdlib.h> | |
#include "malloc-ipa-8-lto.h" | |
void test (int i) | |
{ | |
boxed_int *obj = make_boxed_int (i); | |
free_boxed_int (obj); | |
free (obj); /* { dg-warning "double-free" } */ | |
} | |
int main() { return 0; } |