diff options
| author | jbj <devnull@localhost> | 2001-06-05 19:26:22 +0000 |
|---|---|---|
| committer | jbj <devnull@localhost> | 2001-06-05 19:26:22 +0000 |
| commit | 4ae69250a2595531743074d81aec5804a1b5573f (patch) | |
| tree | c0eb69d1a276ee9421a12745eae40bcfaa122dfa /system.h | |
| parent | 750d54d8a33e67d8f89ed95a785c0f025c833aa8 (diff) | |
| download | rpm-4ae69250a2595531743074d81aec5804a1b5573f.tar.gz rpm-4ae69250a2595531743074d81aec5804a1b5573f.tar.bz2 rpm-4ae69250a2595531743074d81aec5804a1b5573f.zip | |
- fix typos in linux.{req,prov}.
CVS patchset: 4834
CVS date: 2001/06/05 19:26:22
Diffstat (limited to 'system.h')
| -rw-r--r-- | system.h | 7 |
1 files changed, 5 insertions, 2 deletions
@@ -43,6 +43,9 @@ typedef unsigned int u_int32_t; typedef unsigned short u_int16_t; typedef unsigned char u_int8_t; typedef int int32_t; +/*@-declundef@*/ +/*@only@*/ void * alloca (size_t size) /*@modifies internalState @*/; +/*@=declundef@*/ #endif /* Since major is a function on SVR4, we can't use `ifndef major'. */ @@ -102,9 +105,9 @@ extern int errno; #endif #ifdef STDC_HEADERS -/*@-macrounrecog -incondefs -globuse@*/ /* FIX: shrug */ +/*@-macrounrecog -incondefs -globuse -mustmod@*/ /* FIX: shrug */ #define getopt system_getopt -/*@=macrounrecog =incondefs =globuse@*/ +/*@=macrounrecog =incondefs =globuse =mustmod@*/ /*@-skipansiheaders@*/ #include <stdlib.h> /*@=skipansiheaders@*/ |