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