1 /* This testcase is part of GDB, the GNU debugger. 2 3 Copyright 2012-2016 Free Software Foundation, Inc. 4 5 This program is free software; you can redistribute it and/or modify 6 it under the terms of the GNU General Public License as published by 7 the Free Software Foundation; either version 3 of the License, or 8 (at your option) any later version. 9 10 This program is distributed in the hope that it will be useful, 11 but WITHOUT ANY WARRANTY; without even the implied warranty of 12 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 13 GNU General Public License for more details. 14 15 You should have received a copy of the GNU General Public License 16 along with this program. If not, see <http://www.gnu.org/licenses/>. */ 17 18 #include <stdlib.h> 19 20 static volatile int infcall_var; 21 22 static int 23 gdb_test_infcall (void) 24 { 25 return ++infcall_var; 26 } 27 28 int 29 main (void) 30 { 31 void *p; 32 33 gdb_test_infcall (); 34 p = malloc (1); 35 if (p == NULL) 36 return 1; 37 free (p); 38 free (p); /* double-free */ 39 return 0; 40 } 41