return (ft);
}
+/*@-bounds@*/
static void
fileTable_grow (fileTable ft)
{
sfree (ft->elements);
ft->elements = newent;
}
-
+/*@=bounds@*/
static void
fileTable_growOpen (fileTable ft)
{
version (information on compilation, maintainer)
-
-Command Line: Unrecognized option: asdf
+Command Line: Unrecognized option: -asdf
A flag is not recognized or used in an incorrect way (Use -badflag to inhibit
warning)
Finished checking --- no code processed
-Warning: setting +boolint redundant with current value
-
+Command Line: Setting +boolint redundant with current value
Finished checking --- no code processed
D<initializer>
S<directory>
U<initializer>
abstract
+ abstractcompare
accessall
accessczech
accessczechoslovak
bufferoverflowhigh
bugslimit
casebreak
+ caseinsensitivefilenames
castexpose
castfcnptr
charindex
continuecomment
controlnestdepth
cppnames
+ csv
+ csvoverwrite
czech
czechconsts
czechfcns
duplicatecases
duplicatequals
elseifcomplete
- emptyreturn
+ emptyret
enumindex
enumint
enummembers
enummemuse
enumprefix
enumprefixexclude
+ errorstream
+ errorstreamstderr
+ errorstreamstdout
evalorder
evalorderuncon
exitarg
hasyield
help
hints
+ htmlfileformat
i
ifblock
ifempty
legacy
lh
libmacros
+ likely-boundsread
+ likely-boundswrite
likelybool
+ likelybounds
limit
linelen
lintcomments
load
localprefix
localprefixexclude
+ locindentspaces
+ longint
longintegral
longsignedintegral
longunsignedintegral
memchecks
memimp
memtrans
+ messagestream
+ messagestreamstderr
+ messagestreamstdout
misplacedsharequal
misscase
modfilesys
nullstate
nullterminated
nullterminated
+ numabstract
+ numabstractcast
+ numabstractlit
numenummembers
numliteral
numstructfields
sharedtrans
shiftimplementation
shiftnegative
+ shortint
showallconjs
showalluses
showcolumn
showconstraintlocation
showconstraintparens
+ showdeephistory
showfunc
+ showloadloc
showscan
showsourceloc
showsummary
staticinittrans
statictrans
stats
+ streamoverwrite
strictbranchstate
strictdestroy
strictlib
unusedspecial
usedef
usereleased
- usestderr
usevarargs
varuse
voidabstract
warnflags
+ warningstream
+ warningstreamstderr
+ warningstreamstdout
warnlintcomments
warnmissingglobs
warnmissingglobsnoglobs
whileempty
whileloopexec
zerobool
-
null3.c:5:17: Storage gip becomes only
null3.c:55:3: Only storage gnip (type nip) not released before assignment:
gnip = aip
- ??? null3.c:53:3: Storage gnip becomes kept [[[ look into this one, seems odd ]]]
+ null3.c:53:3: Storage gnip becomes kept
null3.c:60:14: Returned storage y not completely defined (*y is undefined): y
null3.c:24:42: Storage *y allocated
null3.c:60:16: Function returns with non-null global gip referencing null
outglob.c:22:10: Global x2 used by function undefined before call: g
outglob.c:27:10: Undef global x3 used before definition
outglob.c:37:14: Function returns with global x3 undefined
- outglob.c:5:20: Storage x3 defined [[[ error - look into this ]]]
+ outglob.c:5:20: Storage x3 defined
outglob.c:41:13: Function returns with global x2 undefined
outglob.c:1:12: Storage x2 defined
outglob.c:41:13: Function returns with global x3 undefined