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