wrappers-stdlib.hc (1542B)
1 // $Id$ --*- c -*-- 2 3 // Copyright (C) 2004 Enrico Scholz <enrico.scholz@informatik.tu-chemnitz.de> 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; version 2 of the License. 8 // 9 // This program is distributed in the hope that it will be useful, 10 // but WITHOUT ANY WARRANTY; without even the implied warranty of 11 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 12 // GNU General Public License for more details. 13 // 14 // You should have received a copy of the GNU General Public License 15 // along with this program; if not, write to the Free Software 16 // Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. 17 18 #ifndef H_ENSC_IN_WRAPPERS_H 19 # error wrappers_handler.hc can not be used in this way 20 #endif 21 22 inline static WRAPPER_DECL void * 23 Emalloc(size_t size) 24 { 25 register void *res = malloc(size); 26 FatalErrnoError(res==0 && size!=0, "malloc()"); 27 return res; 28 } 29 30 /*@unused@*/ 31 inline static WRAPPER_DECL /*@null@*//*@only@*/ void * 32 Erealloc(/*@only@*//*@out@*//*@null@*/ void *ptr, 33 size_t new_size) 34 /*@ensures maxSet(result) == new_size@*/ 35 /*@modifies *ptr@*/ 36 { 37 register void *res = realloc(ptr, new_size); 38 FatalErrnoError(res==0 && new_size!=0, "realloc()"); 39 40 return res; 41 } 42 43 inline static WRAPPER_DECL void 44 Esetenv(char const *key, char const *val, int override) 45 { 46 FatalErrnoError(setenv(key,val,override)==-1, "setenv()"); 47 }