test/Makefile.os2

   1 ##################################################\r
   2 ###                                            ###\r
   3 ### Makefile for LCLint testing                ###\r
   4 ###                                            ### \r
   5 ### designed for use with GNU make             ### \r
   6 ###                                            ###\r
   7 ##################################################\r
   8 \r
   9 SHELL = cmd.exe\r
  10 \r
  11 .SUFFIXES: .out .expect .c .lcl .h .lh .diff\r
  12 \r
  13 # -u show context\r
  14 SPLINT = ../bin/splint.exe\r
  15 \r
  16 ### This is horrible!  Can't we make top_builddir absolute?\r
  17 SPLINTNEST = ../../bin/splint.exe\r
  18 \r
  19 SPLINTPNEST = $(SPLINTNEST) -nof\r
  20 SPLINTP = $(SPLINT) -nof\r
  21 \r
  22 # Make sure .splintrc files are not used so test results do not\r
  23 # depend on local settings.\r
  24 SPLINTRN = $(SPLINTP) -hints -booltype "bool"\r
  25 SPLINTR = $(SPLINTRN) -exportlocal +debugfcnconstraint\r
  26 \r
  27 SPLINTRNNEST = $(SPLINTPNEST) -hints -booltype "bool"\r
  28 SPLINTRNEST = $(SPLINTRNNEST) -exportlocal +debugfcnconstraint\r
  29 \r
  30 ###\r
  31 ### rcfiles not included becuase file names will not match exactly\r
  32 ###\r
  33 \r
  34 UNITTESTS = \\r
  35   help \\r
  36   abstptr abstract alias alttypes ansireserved argorder \\r
  37   args arraydims arrayinit arraylit blocks break cases cast chararraylit charlit clauses commentchar compdestroy \\r
  38   compoundliterals compoundstmt constannot controldepth csyntax czechnames czechoslovaknames deadparam \\r
  39   decl divzero enum exports external fields flags forbody format freearray \\r
  40   funcpointer functionmacro glob globals impabstract info init inparam internal iter keep libs \\r
  41   linked lintcomments list loopexec looptesteffect \\r
  42   macros macrosef merge mergenull modifies modtest moduncon \\r
  43   mongoincludes mystrncat noeffect null observer oldstyle outglob outparam \\r
  44   parentype postnotnull preds prefixes printflike rc refcounts release repexpose \\r
  45   returned sharing shifts sizesigns slovaknames \\r
  46   specclauses \\r
  47   special stack staticarray strings \\r
  48   stringliteral \\r
  49   structassign typequals typeof ud ulstypes union unioninit \\r
  50   unnamedsu unreachable unsignedcompare \\r
  51   unused ullint utypes void widestrings\r
  52 \r
  53 UNITEXPECTS = $(addsuffix .expect, $(UNITTESTS))\r
  54 \r
  55 ### warnuse doesn't work yet!\r
  56 SUBDIRTESTS = metastate mergestate tainted fileio \\r
  57    simplebufferConstraintTests moreBufferTests moreBufferTests2 globalbufferannotation \\r
  58    maxset strchr for manual\\r
  59 tests2.2 tests2.4 tests2.5 db1 db2 db3\r
  60 \r
  61 SPLINTTESTS = $(UNITTESTS) $(SUBDIRTESTS)\r
  62 \r
  63 QUICKTESTS = db3\r
  64 \r
  65 all: quicktest\r
  66 \r
  67 DIFF = diff\r
  68 \r
  69 ### not real .c\r
  70 \r
  71 quicktest: $(SPLINTTESTS)\r
  72 \r
  73 \r
  74 .PHONY: help\r
  75 \r
  76 help:\r
  77         -@$(SPLINT)\r
  78         #@LARCH_PATH=/dev/null; $(SPLINT) -nof empty.lcl\r
  79         @$(SPLINT) -help\r
  80         @$(SPLINTP) -asdf\r
  81         @$(SPLINTP) +boolint +boolint \r
  82         @$(SPLINT) -help flags alpha\r
  83 \r
  84 .PHONY: abstptr\r
  85 abstptr:\r
  86         $(SPLINTR) abstptr -expect 9\r
  87         $(SPLINTR) abstptr +voidabstract -expect 6\r
  88 \r
  89 .PHONY: abstract\r
  90 abstract:\r
  91         $(SPLINTR) abst_t.lcl commentcmd.c -expect 15\r
  92 \r
  93 .PHONY: alias\r
  94 alias:\r
  95         $(SPLINTR) +lh mut\r
  96         $(SPLINTR) mut alias +globalias -expect 19\r
  97         $(SPLINTR) mut alias2 +globalias -expect 17\r
  98         $(SPLINTR) +lh alias3 -expect 14 \r
  99         $(SPLINTR) +lh alias4 +boolint\r
 100         $(SPLINTR) alias4 -pred +retalias -expect 6\r
 101         $(SPLINTR) +lh alias5 +memchecks -null -specundef -expect 5\r
 102 \r
 103 .PHONY: alttypes\r
 104 alttypes:\r
 105         $(SPLINTR) alttypes.c -expect 2\r
 106 \r
 107 ###\r
 108 ### evans 2001-06-07 - updated nameCheck.c to reflect C9X.\r
 109 ### Reports one new errors for ansireserved.c - wctomb is bad even as a local\r
 110 ###    variable (could be a macro?)\r
 111 ### Reports 3 additional errors for +checks; no longer suppresses name errors\r
 112 ###    in the presense of other errors.\r
 113 ###\r
 114 \r
 115 .PHONY: ansireserved\r
 116 ansireserved:\r
 117         $(SPLINTR) ansireserved.c +ansireserved -nolib -expect 9\r
 118         $(SPLINTR) ansireserved.c +ansireserved +ansireservedlocal -nolib -expect 11\r
 119         $(SPLINTRN) ansireserved.c +checks -exportlocal -exportheadervar -exportheader -expect 12\r
 120         $(SPLINTR) ansireserved2.c +ansireserved -expect 1\r
 121 \r
 122 .PHONY: argorder\r
 123 argorder:\r
 124         $(SPLINTR) argorder.c -expect 4\r
 125         $(SPLINTR) argorder2  -expect 5\r
 126         $(SPLINTR) argorder3.c -expect 8\r
 127         $(SPLINTR) argorder4 -expect 9\r
 128         $(SPLINTR) argorder4 -evalorder -expect 1\r
 129         $(SPLINTR) argorder5.c +evalorderuncon -expect 3\r
 130 \r
 131 .PHONY: args\r
 132 args:\r
 133         $(SPLINTR) args -noeffect -expect 12\r
 134 \r
 135 .PHONY: arraydims\r
 136 arraydims:\r
 137         $(SPLINTR) arraydims.c -varuse -expect 2\r
 138         $(SPLINTR) arraydims.c -initsize -varuse\r
 139 \r
 140 .PHONY: arrayinit\r
 141 arrayinit:\r
 142         $(SPLINTR) arrayinit.c -expect 9\r
 143 \r
 144 .PHONY: arraylit\r
 145 arraylit:\r
 146         $(SPLINTR) arraylit.c -expect 2\r
 147         $(SPLINTR) arraylit.c +stringliteralsmaller -expect 4\r
 148 \r
 149 .PHONY: blocks\r
 150 blocks:\r
 151         $(SPLINTR) blocks.c -expect 4\r
 152         $(SPLINTR) blocks.c +ifblock +elseifcomplete -expect 7\r
 153         $(SPLINTR) blocks.c -ifempty +whileempty +whileblock -expect 3\r
 154         $(SPLINTR) blocks.c -ifempty +forempty +forblock -expect 3\r
 155         $(SPLINTR) blocks.c +allempty -expect 6\r
 156         $(SPLINTRN) blocks.c +strict -exportlocal +partial -exportheader -expect 11\r
 157 \r
 158 .PHONY: break\r
 159 break:\r
 160         $(SPLINTR) break.c -expect 4\r
 161         $(SPLINTR) break.c +deepbreak -expect 6\r
 162         $(SPLINTR) break.c +deepbreak -looploopbreak -expect 5\r
 163 \r
 164 .PHONY: cases\r
 165 cases: \r
 166         $(SPLINTR) cases.c -expect 5\r
 167         $(SPLINTR) cases2.c -expect 2\r
 168         $(SPLINTRN) cases2.c +checks -exportlocal -exportheader -expect 3\r
 169         $(SPLINTRN) cases2.c +checks -exportlocal -exportheader -branchstate -expect 3\r
 170 \r
 171 .PHONY: cast\r
 172 cast:\r
 173         $(SPLINTR) cast -accessmodule -expect 20\r
 174         $(SPLINTRN) cast2.c +checks -exportlocal -exportheader -expect 3\r
 175 \r
 176 .PHONY: chararraylit\r
 177 chararraylit:\r
 178         -$(SPLINTR) chararraylit.c -expect 2\r
 179 \r
 180 ### Two addition errors detected with 2.5 with -numliteral.\r
 181 \r
 182 .PHONY: charlit\r
 183 charlit:\r
 184         $(SPLINTR) +hints charlit.c -expect 4\r
 185         $(SPLINTR) +hints -numliteral charlit.c -expect 6\r
 186         $(SPLINTR) +hints charlit.c +charintliteral +ignoresigns\r
 187 \r
 188 .PHONY: clauses\r
 189 clauses: \r
 190         $(SPLINTR) clauses.c +memchecks -expect 4\r
 191         $(SPLINTR) clauses2.c +memchecks \r
 192         $(SPLINTR) clauses3.c +memchecks -expect 2\r
 193         $(SPLINTR) clauses3.c +memchecks +unixlib -expect 3\r
 194 \r
 195 .PHONY: commentchar\r
 196 commentchar:\r
 197         $(SPLINTR) commentchar.c -expect 4\r
 198         $(SPLINTR) -commentchar '#' commentchar.c -expect 4\r
 199 \r
 200 .PHONY: controldepth\r
 201 controldepth:\r
 202         $(SPLINTR) +hints -controlnestdepth 2 controldepth.c -expect 2\r
 203         $(SPLINTR) +hints -controlnestdepth 1 controldepth.c -expect 2\r
 204 \r
 205 .PHONY: compdestroy\r
 206 compdestroy:\r
 207         $(SPLINTRN) compdestroy.c +checks -exportlocal -exportheader -expect 1\r
 208         $(SPLINTRN) compdestroy.c +checks -exportlocal -exportheader +strictdestroy -expect 2\r
 209         $(SPLINTRN) compdestroy.c +checks -exportlocal -exportheader +strictdestroy +strictusereleased -expect 3\r
 210         $(SPLINTRN) compdestroy.c +strict +partial -exportheader -expect 3\r
 211 \r
 212 .PHONY: compoundliterals\r
 213 compoundliterals:\r
 214         ${SPLINTRN} compoundliterals.c \r
 215 \r
 216 .PHONY: compoundstmt\r
 217 compoundstmt:\r
 218         ${SPLINTRN} compoundstmt.c -expect 3\r
 219 \r
 220 .PHONY: constannot\r
 221 constannot:\r
 222         ${SPLINTRN} constannot.c +boundswrite -exportlocal -expect 2\r
 223 \r
 224 .PHONY: csyntax\r
 225 csyntax:\r
 226         $(SPLINTR) +quiet -incondefs csyntax.c -expect 1 \r
 227         $(SPLINTR) +quiet csyntax2.c -expect 2\r
 228         $(SPLINTR) +quiet csyntax3.c -expect 1\r
 229         $(SPLINTR) +quiet -incondefs csyntax4.c\r
 230         $(SPLINTR) +quiet csyntax5.c\r
 231         $(SPLINTR) +quiet csyntax6.c\r
 232         $(SPLINTR) +quiet csyntax7.c\r
 233         $(SPLINTR) +quiet csyntax8.c\r
 234         $(SPLINTR) +quiet csyntax9.c\r
 235         $(SPLINTR) +quiet csyntax10.c\r
 236         $(SPLINTR) +quiet csyntax11.c\r
 237         $(SPLINTR) +quiet csyntax12.c\r
 238         $(SPLINTR) +quiet csyntax13.c -expect 1\r
 239         $(SPLINTR) +quiet csyntax14.c\r
 240         $(SPLINTR) +quiet csyntax15.c\r
 241         $(SPLINTR) +quiet csyntax16.c -expect 2\r
 242         $(SPLINTR) +quiet csyntax17.c -expect 3\r
 243 \r
 244 .PHONY: czechnames\r
 245 czechnames:\r
 246         $(SPLINTR) czechnames.c\r
 247         $(SPLINTR) +hints +czech czechnames.c -expect 2\r
 248         $(SPLINTR) +hints +czech -czechvars czechnames.c -expect 1\r
 249         $(SPLINTR) +hints +czech -accessczech czechnames.c -expect 6\r
 250 \r
 251 .PHONY: czechoslovaknames\r
 252 czechoslovaknames:\r
 253         $(SPLINTR) +hints +czechoslovak czechnames.c -expect 1\r
 254         $(SPLINTR) +hints +czechoslovak slovaknames.c -expect 1\r
 255         $(SPLINTR) +hints +czechoslovak +slovakvars slovaknames.c -expect 2\r
 256 \r
 257 ###\r
 258 ### deadparam added 2001-05-27\r
 259 ###\r
 260 \r
 261 .PHONY: deadparam\r
 262 deadparam:\r
 263         ${SPLINTR} deadparam.c -expect 3\r
 264 \r
 265 #\r
 266 # Was expect 3 before 2.4.  Earlier versions did not handle implicit\r
 267 # function pointers correctly.\r
 268 #\r
 269 \r
 270 .PHONY: decl\r
 271 decl:\r
 272         $(SPLINTR) decl.c -expect 2\r
 273         $(SPLINTRN) decl.c +strict -exportlocal -expect 5\r
 274         $(SPLINTR) decl2 -expect 4\r
 275 \r
 276 .PHONY: divzero\r
 277 divzero:\r
 278         $(SPLINTR) divzero.c -varuse -expect 0\r
 279 \r
 280 .PHONY: enum\r
 281 enum:\r
 282         $(SPLINTR) enum -expect 16\r
 283         $(SPLINTR) enum -misscase -expect 14\r
 284 \r
 285 .PHONY: enumtag\r
 286 enumtag:\r
 287         -$(SPLINTR) enumtag.c -expect 2\r
 288 \r
 289 .PHONY: exports\r
 290 exports:\r
 291         $(SPLINTR) exports.c +exporttype +exportvar +exportfcn +topuse +typeuse -expect 6\r
 292         $(SPLINTR) exports.c +exportany -expect 3\r
 293         $(SPLINTR) exports.c\r
 294 \r
 295 .PHONY: external\r
 296 external:\r
 297         $(SPLINTR) external.c +partial\r
 298         $(SPLINTR) external.c +partial +distinctexternalnames +ansi89limits -expect 2\r
 299         $(SPLINTR) external.c -nolib +partial -externalnamelength 3 -expect 3\r
 300         $(SPLINTR) external.c -nolib +partial -externalnamelength 3 +externalnamecaseinsensitive -expect 3\r
 301         $(SPLINTR) external.c +partial -externalnamelength 3 -expect 4\r
 302 \r
 303 .PHONY: fields\r
 304 fields:\r
 305         $(SPLINTR) fields.c +memchecks -expect 6\r
 306         $(SPLINTR) fields2.c +memchecks -expect 5\r
 307         $(SPLINTR) fields3.c +memchecks\r
 308 \r
 309 .PHONY: flags\r
 310 flags:\r
 311         $(SPLINTR) flags.c -expect 8\r
 312         $(SPLINTR) +nocomments flags.c -expect 2\r
 313 \r
 314 ### Added 2001-06-02\r
 315 \r
 316 .PHONY: forbody\r
 317 forbody:\r
 318         ${SPLINTR} forbody.c -expect 2\r
 319 \r
 320 ### Added 2001-06-03\r
 321 .PHONY: format\r
 322 format:\r
 323         ${SPLINTR} format.c -expect 3\r
 324         ${SPLINTR} format.c -formatconst \r
 325 \r
 326 # two new errors (invalid lhs)\r
 327 \r
 328 .PHONY: funcpointer\r
 329 funcpointer:\r
 330         $(SPLINTR) +memchecks +noparams funcpointer.c -expect 18\r
 331 \r
 332 .PHONY: functionmacro\r
 333 functionmacro:\r
 334         $(SPLINTR) functionmacro.c -expect 2\r
 335 \r
 336 .PHONY: glob\r
 337 glob:\r
 338         $(SPLINTR) glob -expect 4\r
 339         $(SPLINTR) glob -globuse -expect 3\r
 340         $(SPLINTR) glob +globunspec -expect 6\r
 341 \r
 342 .PHONY: globals\r
 343 globals:\r
 344         $(SPLINTR) -modifies globals.c -expect 5\r
 345         $(SPLINTR) -modifies globals.c +allglobals -expect 6\r
 346         $(SPLINTR) -modifies globals.c +impcheckedglobals -expect 6\r
 347         $(SPLINTR) -modifies globals.c -globals -checkstrictglobals -expect 2\r
 348         $(SPLINTR) -modifies globals.c +globunspec -expect 6\r
 349         $(SPLINTR) -modifies globals.c +globunspec +allglobals -expect 8\r
 350 \r
 351 # Was -accessfile\r
 352 .PHONY: impabstract\r
 353 impabstract: \r
 354         $(SPLINTR) -accessmodule impabstract.c \r
 355         $(SPLINTR) -accessmodule +hints +impabstract impabstract.c -expect 2\r
 356         $(SPLINTR) -accessmodule +hints +impabstract impabstract -expect 4\r
 357 \r
 358 ###\r
 359 ### evans 2001-12-30: Handle unrecognized pre-processor directives\r
 360 ###    (Reported by Pierluigi Sanzani)\r
 361 \r
 362 .PHONY: info\r
 363 info:\r
 364         ${SPLINTR} info.c -expect 4\r
 365 \r
 366 ### evans 2001-10-14: Expected errors updated\r
 367 .PHONY: init\r
 368 init:\r
 369         $(SPLINTR) init.c -expect 14\r
 370         $(SPLINTRN) init.c +checks -exportlocal -exportheadervar -expect 17\r
 371 \r
 372 .PHONY: inparam\r
 373 inparam:\r
 374         $(SPLINTR) inparam.c -expect 2\r
 375         $(SPLINTR) +impouts inparam.c -expect 1\r
 376 \r
 377 .PHONY: internal\r
 378 internal:\r
 379         $(SPLINTR) internal.c -expect 1\r
 380         $(SPLINTR) internal.c +distinctinternalnames -expect 1\r
 381         $(SPLINTR) internal.c +distinctinternalnames +ansi89limits -expect 2\r
 382         $(SPLINTR) internal.c -internalnamelen 28 -expect 3\r
 383         $(SPLINTR) internal.c +internalnamecaseinsensitive -expect 3\r
 384         $(SPLINTR) internal.c +internalnamecaseinsensitive +internalnamelookalike -expect 11\r
 385 \r
 386 ###\r
 387 ### iter\r
 388 ### 2001-06-06: Error message for iter.lcl:3,6 fixed to iter.lcl:3:6\r
 389 ### \r
 390 \r
 391 .PHONY: iter\r
 392 iter:\r
 393         $(SPLINTR) iter -expect 14 -lclexpect 1\r
 394         $(SPLINTR) iter2.c -expect 12\r
 395 \r
 396 .PHONY: keep\r
 397 keep:\r
 398         $(SPLINTR) keep.c +memchecks -expect 6\r
 399 \r
 400 ### libs\r
 401 ### 2001-05-22: 2 new errors found (fixed spec of signal)\r
 402 ### 2001-05-30: 3 new errors found (formatconst)\r
 403 \r
 404 .PHONY: libs\r
 405 libs:\r
 406         $(SPLINTR) libs.c +longunsignedunsignedintegral -expect 18\r
 407         $(SPLINTR) libs.c -expect 22\r
 408         $(SPLINTR) libs.c +globunspec +modunspec -expect 25\r
 409         $(SPLINTR) libs.c +strictlib +globunspec +modunspec -expect 42\r
 410 \r
 411 .PHONY: lintcomments\r
 412 lintcomments:\r
 413         $(SPLINTR) lintcomments.c -expect 5\r
 414         $(SPLINTR) lintcomments.c -warnlintcomments -expect 1\r
 415         $(SPLINTR) lintcomments.c -lintcomments -expect 4\r
 416 \r
 417 .PHONY: list\r
 418 list:\r
 419         $(SPLINTR) list.c -expect 3\r
 420 \r
 421 ###\r
 422 ### 2002-01-01: Added test case for obvious loop execution.\r
 423 ###\r
 424 \r
 425 .PHONY: loopexec\r
 426 loopexec:\r
 427         $(SPLINTR) loopexec.c -expect 1\r
 428         $(SPLINTR) loopexec.c -obviousloopexec -expect 3\r
 429 \r
 430 .PHONY: looptesteffect\r
 431 looptesteffect:\r
 432         $(SPLINTR) looptesteffect.c -expect 1\r
 433 \r
 434 .PHONY: macros\r
 435 macros:\r
 436         $(SPLINTR) macros -expect 17 \r
 437         $(SPLINTR) macros.c +allmacros -expect 34\r
 438         $(SPLINTR) macros.c +fcnmacros -expect 31\r
 439 \r
 440 .PHONY: macrosef\r
 441 macrosef:\r
 442         $(SPLINTR) macrosef -expect 4\r
 443         $(SPLINTR) macrosef.c +allmacros -expect 3\r
 444         $(SPLINTR) macrosef.c +allmacros +sefuncon -expect 4\r
 445 \r
 446 .PHONY: merge\r
 447 merge:\r
 448         $(SPLINTRN) merge.c +checks -exportlocal -exportheadervar -exportheader -expect 3\r
 449 \r
 450 .PHONY: mergenull\r
 451 mergenull:\r
 452         $(SPLINTRN) mergenull.c \r
 453 \r
 454 .PHONY: modifies\r
 455 modifies:\r
 456         $(SPLINTR) modifies.c modclient.c +impcheckedstatics +mustmod -expect 7\r
 457 \r
 458 .PHONY: modtest\r
 459 modtest:\r
 460         $(SPLINTR) modtest -expect 10\r
 461         $(SPLINTR) modtest +modunspec -expect 13\r
 462         $(SPLINTR) modtest +mustmod -expect 14\r
 463 \r
 464 .PHONY: moduncon\r
 465 moduncon:\r
 466         $(SPLINTR) moduncon.c +moduncon -memchecks -expect 4\r
 467         $(SPLINTRN) moduncon.c +strict -exportlocal -expect 22\r
 468 \r
 469 .PHONY: mongoincludes\r
 470 mongoincludes:\r
 471         $(SPLINTR) mongoincludes.c -includenest 1 -expect 19\r
 472         $(SPLINTR) mongoincludes.c -includenest 2 -expect 10\r
 473         $(SPLINTR) mongoincludes.c -includenest 3 -expect 4\r
 474         $(SPLINTR) mongoincludes.c -includenest 4 -expect 1\r
 475         $(SPLINTR) mongoincludes.c -includenest 5 -expect 0\r
 476 \r
 477 .PHONY: mystrncat\r
 478 mystrncat:\r
 479         $(SPLINTR) mystrncat.c +boundsread +boundswrite -expect 4 \r
 480 \r
 481 .PHONY: noeffect\r
 482 noeffect:\r
 483         ${SPLINTP} noeffect.c +allmacros +checks -expect 3\r
 484 \r
 485 ###\r
 486 ### 2002-01-01: null1.c: expect increased to 15 because out must be defined\r
 487 ###                         checking detects one new error\r
 488 ###\r
 489 \r
 490 .PHONY: null\r
 491 null: \r
 492         $(SPLINTR) null1.c -expect 15\r
 493         $(SPLINTR) null1.c -null -mustdefine -expect 4\r
 494         $(SPLINTR) null2.c -expect 11\r
 495         $(SPLINTR) null3.c -expect 15\r
 496         $(SPLINTR) null3.c -warnunixlib +unixlib -expect 16\r
 497         $(SPLINTR) null4.c -expect 1\r
 498         $(SPLINTR) null5.c -expect 4\r
 499         $(SPLINTR) null6 -expect 4\r
 500         $(SPLINTR) +quiet null6.lcl -dump null6\r
 501         $(SPLINTR) null6.c -load null6 -expect 4\r
 502 \r
 503 ### Added for 3.0 (bugs reported by Kevin Broady)\r
 504 \r
 505 .PHONY: nullret\r
 506 nullret:\r
 507         $(SPLINTR) nullret.c -expect 2\r
 508         $(SPLINTR) -nullret nullret.c -expect 1\r
 509 \r
 510 .PHONY: nullassign\r
 511 nullassign:\r
 512         $(SPLINTR) nullassign.c -expect 2\r
 513         $(SPLINTR) -nullassign nullassign.c -expect 1\r
 514 \r
 515 #\r
 516 # Before 2.4, expected one more because error was reported both as \r
 517 # dependent and observer.\r
 518 #\r
 519 \r
 520 .PHONY: observer\r
 521 observer:\r
 522         $(SPLINTRN) observer +checks -exportlocal -exportheader -expect 9\r
 523         $(SPLINTRN) observer.c +checks -exportlocal -exportheader -expect 8\r
 524         $(SPLINTR) observer.c -expect 7\r
 525 \r
 526 .PHONY: oldstyle\r
 527 oldstyle:\r
 528         $(SPLINTR) oldstyle oldstyle2.c -expect 5\r
 529 \r
 530 .PHONY: outglob\r
 531 outglob:\r
 532         $(SPLINTR) outglob -expect 10\r
 533 \r
 534 .PHONY: outparam\r
 535 outparam:\r
 536         $(SPLINTR) outparam -expect 12\r
 537 \r
 538 ### evans 2001-08-26: postnotnull new\r
 539 \r
 540 .PHONY: postnotnull\r
 541 postnotnull:\r
 542         ${SPLINTR} postnotnull.c -expect 1\r
 543 \r
 544 ### evans 2002-02-09: added parentype.c\r
 545 .PHONY: parentype\r
 546 parentype:\r
 547         ${SPLINTR} parentype.c \r
 548 \r
 549 #\r
 550 # Four new +fcnuse errors for -strict (evans 2001-07-22)\r
 551 # \r
 552 \r
 553 .PHONY: preds\r
 554 preds:\r
 555         $(SPLINTR) +hints preds.c -expect 6\r
 556         $(SPLINTRN) +hints preds.c -weak -expect 1\r
 557         $(SPLINTRN) +hints preds.c -strict -exportlocal -exportheader -expect 12\r
 558 \r
 559 .PHONY: prefixes\r
 560 prefixes:\r
 561         $(SPLINTR) prefixes.c +partial\r
 562         $(SPLINTRN) prefixes.c +allmacros +checks -exportlocal +partial -exportheader -exportheadervar -expect 4\r
 563         $(SPLINTR) prefixes.c -typeprefix "T" -expect 2\r
 564         $(SPLINTR) prefixes.c -typeprefix "^" -expect 1\r
 565         $(SPLINTR) prefixes.c -typeprefix "^*" -expect 2\r
 566         $(SPLINTR) prefixes.c -typeprefix "^%*" -expect 2\r
 567         $(SPLINTR) prefixes.c -typeprefix "^~*" -expect 2\r
 568         $(SPLINTR) prefixes.c -typeprefix "^" +typeprefixexclude -expect 7\r
 569         $(SPLINTR) prefixes.c -filestaticprefix "^^" -expect 4\r
 570         $(SPLINTR) prefixes.c -filestaticprefix "^#" -expect 5\r
 571         $(SPLINTR) prefixes.c -filestaticprefix "^?&x" -expect 5\r
 572         $(SPLINTR) prefixes.c -globalprefix "G" -expect 1\r
 573         $(SPLINTR) prefixes.c -globalprefix "&G?_^" -expect 1\r
 574         $(SPLINTR) prefixes.c -externalprefix "G" -expect 5\r
 575         $(SPLINTR) prefixes.c -typeprefix "T" -externalprefix "G" -expect 4\r
 576 #       herbert: unsolved problem with quoting the '*' here!\r
 577 #       $(SPLINTR) prefixes.c -localprefix "?*" +localprefixexclude -expect 13\r
 578 \r
 579 .PHONY: printflike\r
 580 printflike:\r
 581         $(SPLINTR) printflike.c -expect 6\r
 582         $(SPLINTR) printflike.c -warnlintcomments -expect 5\r
 583 \r
 584 .PHONY: rc\r
 585 rc:\r
 586 #       herbert unsolved problem with quoting here!\r
 587 #       $(SPLINTR) -DMYSTERY='"a flag\"wicked cool"' rc.c -expect 1\r
 588         $(SPLINTR) -DMYSTERY=12 rc.c -expect 1\r
 589         $(SPLINTR) -f rc1.splintrc rc.c -expect 1\r
 590         $(SPLINTR) -UMYSTERY -f rc1.splintrc rc.c -expect 1\r
 591         $(SPLINTR) -f rc3.splintrc.os2 rc.c -expect 1\r
 592 \r
 593 .PHONY: rcfiles\r
 594 rcfiles:\r
 595         cd rcfiles; ${MAKE} SPLINT="$(SPLINTPNEST)"\r
 596 \r
 597 .PHONY: refcounts\r
 598 refcounts:\r
 599         $(SPLINTR) refcounts.c -expect 7 \r
 600 \r
 601 .PHONY: release\r
 602 release:\r
 603         $(SPLINTR) release.c +memchecks -expect 1\r
 604 \r
 605 .PHONY: repexpose\r
 606 repexpose:\r
 607         $(SPLINTR) +lh repexpose +memchecks -expect 12\r
 608         $(SPLINTR) repexpose +memchecks +retalias -expect 15\r
 609         $(SPLINTRN) repexpose +checks -exportlocal -expect 27\r
 610 \r
 611 ### returned added 2001-05-27\r
 612 ### (Bug discovered checking splint sources.)\r
 613 \r
 614 .PHONY: returned\r
 615 returned:\r
 616         ${SPLINTR} returned.c -expect 1\r
 617 \r
 618 .PHONY: sharing\r
 619 sharing: \r
 620         $(SPLINTR) sharing1.c -expect 21\r
 621         $(SPLINTR) sharing3.c -expect  3\r
 622         $(SPLINTR) sharing4.c -expect 13\r
 623         $(SPLINTR) sharing4.c -paramimptemp -expect 12\r
 624         $(SPLINTR) sharing5.c -expect 6\r
 625 \r
 626 .PHONY: shifts\r
 627 shifts:\r
 628         $(SPLINTR) shifts.c -expect 4\r
 629         $(SPLINTR) shifts.c -shiftimplementation -expect 3\r
 630         $(SPLINTR) shifts.c -shiftnegative -expect 1\r
 631 \r
 632 ### evans - added 2002-08-17: check warnings with arbitrary integral types\r
 633 sizesigns:\r
 634         -$(SPLINTR) +strict sizesigns.c\r
 635         -$(SPLINTR) +strict +ignoresigns sizesigns.c\r
 636         -$(SPLINTR) +strict +matcharbitraryintegral sizesigns.c\r
 637         -$(SPLINTR) +strict +matcharbitraryintegral +ignoresignz sizesigns.c\r
 638 \r
 639 .PHONY: slovaknames\r
 640 slovaknames:\r
 641         $(SPLINTR) +hints slovaknames.c -expect 1\r
 642         $(SPLINTR) +hints slovaknames.c +accessslovak \r
 643         $(SPLINTR) +hints +slovak slovaknames.c -expect 3\r
 644         $(SPLINTR) +hints +slovak -slovakvars slovaknames.c -expect 2\r
 645         $(SPLINTR) +hints +slovak -accessslovak slovaknames.c -expect 7\r
 646 \r
 647 .PHONY: specclauses\r
 648 specclauses:\r
 649         $(SPLINTR) specclauses.c -expect 6\r
 650         $(SPLINTR) specclauses2.c -expect 8\r
 651         $(SPLINTR) specclauses3.c -expect 5\r
 652         $(SPLINTR) specclauses4.c -expect 3\r
 653         $(SPLINTR) specclauses5.c -expect 3\r
 654 \r
 655 .PHONY: specclauses1\r
 656 specclauses1:\r
 657         $(SPLINTR) specclauses.c -expect 6\r
 658 \r
 659 .PHONY: specclauses2\r
 660 specclauses2:\r
 661         $(SPLINTR) specclauses2.c -expect 8\r
 662 \r
 663 .PHONY: specclauses3\r
 664 specclauses3:\r
 665         $(SPLINTR) specclauses3.c -expect 6\r
 666 \r
 667 .PHONY: specclauses4\r
 668 specclauses4:\r
 669         $(SPLINTR) specclauses4.c -expect 3\r
 670 \r
 671 .PHONY: specclauses5\r
 672 specclauses5:\r
 673         $(SPLINTR) specclauses5.c -expect 3\r
 674 \r
 675 .PHONY: special\r
 676 special:\r
 677         $(SPLINTR) special -expect 20\r
 678         $(SPLINTR) special -relaxquals -expect 22\r
 679 \r
 680 .PHONY: stack\r
 681 stack:\r
 682         $(SPLINTR) stack.c -expect 5\r
 683         $(SPLINTR) stack.c -stackref\r
 684 \r
 685 .PHONY: staticarray\r
 686 staticarray:\r
 687         $(SPLINTR) staticarray.c -expect 3\r
 688 \r
 689 ###\r
 690 ### evans 2002-03-16: Default setting of stringliteralnoroomfinalnull changed\r
 691 ### \r
 692 \r
 693 .PHONY: stringliteral\r
 694 stringliteral:\r
 695         $(SPLINTR) stringliteral.c -stringliteralnoroomfinalnull -expect 3\r
 696         $(SPLINTR) stringliteral.c -expect 4\r
 697 \r
 698 .PHONY: strings\r
 699 strings:\r
 700         $(SPLINTR) strings.c -expect 3\r
 701         $(SPLINTR) -readonlystrings -expect 1 strings.c\r
 702         $(SPLINTR) +modobserverstrict -maintype -expect 4 strings.c\r
 703 \r
 704 .PHONY: structassign\r
 705 structassign:\r
 706         $(SPLINTR) structassign.c -expect 4\r
 707 \r
 708 .PHONY: typeof\r
 709 typeof:\r
 710         $(SPLINTR) typeof.c -expect 2\r
 711 \r
 712 .PHONY: typequals\r
 713 typequals:\r
 714         $(SPLINTR) typequals.c tq.lcl -expect 5\r
 715         $(SPLINTR) typequals.c -expect 2\r
 716 \r
 717 .PHONY: ud\r
 718 ud:\r
 719         $(SPLINTR) ud.c -expect 9\r
 720         $(SPLINTR) ud2 -specundef -expect 3\r
 721 \r
 722 .PHONY: ulstypes\r
 723 ulstypes:\r
 724         $(SPLINTR) ulstypes.c -expect 8\r
 725         $(SPLINTR) ulstypes.c +ignorequals \r
 726         $(SPLINTRN) ulstypes.c +strict -exportheader -exportheadervar -expect 28\r
 727 \r
 728 # 3 more detected with version 2.5 (change in -numliteral setting)\r
 729 \r
 730 .PHONY: union\r
 731 union:\r
 732         $(SPLINTR) +memchecks union.c -expect 8\r
 733 \r
 734 ###\r
 735 ### Added 2001-12-30: fixed union initializer checking in response to\r
 736 ### bug report from Jim Zelenka.\r
 737 ###\r
 738 \r
 739 .PHONY: unioninit\r
 740 unioninit:\r
 741         $(SPLINTR) unioninit.c -expect 2\r
 742 \r
 743 .PHONY: unnamedsu\r
 744 unnamedsu:\r
 745         $(SPLINTR) unnamedsu.c -expect 0\r
 746 \r
 747 .PHONY: unreachable\r
 748 unreachable:\r
 749         $(SPLINTR) unreachable.c -expect 5\r
 750         $(SPLINTR) -unreachable unreachable.c -expect 2\r
 751         $(SPLINTR) switch.c -expect 4\r
 752 \r
 753 .PHONY: unsignedcompare\r
 754 unsignedcompare:\r
 755         ${SPLINTR} +posixlib unsignedcompare.c -expect 4\r
 756 \r
 757 ###\r
 758 ### 2001-06-08 evans: 2 new errors after fixing ansireserved name checks\r
 759 ###\r
 760 \r
 761 .PHONY: unused\r
 762 unused:\r
 763         $(SPLINTRN) unused.c +checks -exportlocal -expect 5\r
 764         $(SPLINTRN) unused.c +checks -exportlocal +topuse -expect 8\r
 765 \r
 766 ###\r
 767 ### 2001-06-10: Provided by Jim Zalenka\r
 768 ###\r
 769 \r
 770 .PHONY: ullint\r
 771 ullint:\r
 772         ${SPLINTRN} ullint.c -expect 5\r
 773         ${SPLINTRN} ullint.c +charint +charintliteral -expect 2\r
 774 \r
 775 ###\r
 776 ### 2001-12-30: Poor warnings reported by Peter Deutsch\r
 777 ###\r
 778 \r
 779 .PHONY: utypes\r
 780 utypes:\r
 781         ${SPLINTRN} utypes.c -expect 2\r
 782 \r
 783 ###\r
 784 \r
 785 .PHONY: void\r
 786 void:\r
 787         ${SPLINTRN} void.c -expect 2\r
 788 \r
 789 ###\r
 790 ### 2001-12-30: Problems with wide character strings reported by Nelson Beebe\r
 791 ###\r
 792 \r
 793 .PHONY: widestrings\r
 794 widestrings:\r
 795         ${SPLINTRN} widestrings.c -expect 2\r
 796 \r
 797 ###\r
 798 ### New since 2.5q:\r
 799 ###\r
 800 \r
 801 .PHONY: linked\r
 802 linked:\r
 803         ${SPLINTR} linked.c -expect 4\r
 804         ${SPLINTR} linked2.c -expect 3\r
 805         ${SPLINTR} linked3.c -expect 5\r
 806         ${SPLINTR} linked4.c -expect 6\r
 807         ${SPLINTR} linked5.c -expect 4\r
 808         ${SPLINTR} linked6.c -expect 4\r
 809 \r
 810 .PHONY: freearray\r
 811 freearray:\r
 812         ${SPLINTR} freearray.c -expect 1\r
 813 \r
 814 .PHONY: sizeof\r
 815 sizeof:\r
 816         $(SPLINTR) +bounds sizeof.c -expect 1\r
 817 \r
 818 .PHONY: buffertest\r
 819 buffertest:\r
 820         $(SPLINTR) +bounds buffertest1.c -expect 5\r
 821 \r
 822 .PHONY: $(SUBDIRTESTS)\r
 823 $(SUBDIRTESTS):\r
 824         $(MAKE) -C $@ SPLINT="$(SPLINTRNNEST)" \r
 825 \r