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 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 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         @$(SPLINTP) -help\r
  80         @$(SPLINTP) -asdf\r
  81         @$(SPLINTP) +boolint +boolint \r
  82         @$(SPLINTP) -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 ### Two addition errors detected with 2.5 with -numliteral.\r
 177 \r
 178 .PHONY: charlit\r
 179 charlit:\r
 180         $(SPLINTR) +hints charlit.c -expect 4\r
 181         $(SPLINTR) +hints -numliteral charlit.c -expect 6\r
 182         $(SPLINTR) +hints charlit.c +charintliteral +ignoresigns\r
 183 \r
 184 .PHONY: clauses\r
 185 clauses: \r
 186         $(SPLINTR) clauses.c +memchecks -expect 4\r
 187         $(SPLINTR) clauses2.c +memchecks \r
 188         $(SPLINTR) clauses3.c +memchecks -expect 2\r
 189         $(SPLINTR) clauses3.c +memchecks +unixlib -expect 3\r
 190 \r
 191 .PHONY: commentchar\r
 192 commentchar:\r
 193         $(SPLINTR) commentchar.c -expect 4\r
 194         $(SPLINTR) -commentchar '#' commentchar.c -expect 4\r
 195 \r
 196 .PHONY: controldepth\r
 197 controldepth:\r
 198         $(SPLINTR) +hints -controlnestdepth 2 controldepth.c -expect 2\r
 199         $(SPLINTR) +hints -controlnestdepth 1 controldepth.c -expect 2\r
 200 \r
 201 .PHONY: compdestroy\r
 202 compdestroy:\r
 203         $(SPLINTRN) compdestroy.c +checks -exportlocal -exportheader -expect 1\r
 204         $(SPLINTRN) compdestroy.c +checks -exportlocal -exportheader +strictdestroy -expect 2\r
 205         $(SPLINTRN) compdestroy.c +checks -exportlocal -exportheader +strictdestroy +strictusereleased -expect 3\r
 206         $(SPLINTRN) compdestroy.c +strict +partial -exportheader -expect 3\r
 207 \r
 208 .PHONY: compoundliterals\r
 209 compoundliterals:\r
 210         ${SPLINTRN} compoundliterals.c \r
 211 \r
 212 .PHONY: compoundstmt\r
 213 compoundstmt:\r
 214         ${SPLINTRN} compoundstmt.c -expect 3\r
 215 \r
 216 .PHONY: constannot\r
 217 constannot:\r
 218         ${SPLINTRN} constannot.c +boundswrite -exportlocal -expect 2\r
 219 \r
 220 .PHONY: csyntax\r
 221 csyntax:\r
 222         $(SPLINTR) +quiet -incondefs csyntax.c -expect 1 \r
 223         $(SPLINTR) +quiet csyntax2.c -expect 2\r
 224         $(SPLINTR) +quiet csyntax3.c -expect 1\r
 225         $(SPLINTR) +quiet -incondefs csyntax4.c\r
 226         $(SPLINTR) +quiet csyntax5.c\r
 227         $(SPLINTR) +quiet csyntax6.c\r
 228         $(SPLINTR) +quiet csyntax7.c\r
 229         $(SPLINTR) +quiet csyntax8.c\r
 230         $(SPLINTR) +quiet csyntax9.c\r
 231         $(SPLINTR) +quiet csyntax10.c\r
 232         $(SPLINTR) +quiet csyntax11.c\r
 233         $(SPLINTR) +quiet csyntax12.c\r
 234         $(SPLINTR) +quiet csyntax13.c -expect 1\r
 235         $(SPLINTR) +quiet csyntax14.c\r
 236         $(SPLINTR) +quiet csyntax15.c\r
 237         $(SPLINTR) +quiet csyntax16.c -expect 2\r
 238         $(SPLINTR) +quiet csyntax17.c -expect 3\r
 239 \r
 240 .PHONY: czechnames\r
 241 czechnames:\r
 242         $(SPLINTR) czechnames.c\r
 243         $(SPLINTR) +hints +czech czechnames.c -expect 2\r
 244         $(SPLINTR) +hints +czech -czechvars czechnames.c -expect 1\r
 245         $(SPLINTR) +hints +czech -accessczech czechnames.c -expect 6\r
 246 \r
 247 .PHONY: czechoslovaknames\r
 248 czechoslovaknames:\r
 249         $(SPLINTR) +hints +czechoslovak czechnames.c -expect 1\r
 250         $(SPLINTR) +hints +czechoslovak slovaknames.c -expect 1\r
 251         $(SPLINTR) +hints +czechoslovak +slovakvars slovaknames.c -expect 2\r
 252 \r
 253 ###\r
 254 ### deadparam added 2001-05-27\r
 255 ###\r
 256 \r
 257 .PHONY: deadparam\r
 258 deadparam:\r
 259         ${SPLINTR} deadparam.c -expect 3\r
 260 \r
 261 #\r
 262 # Was expect 3 before 2.4.  Earlier versions did not handle implicit\r
 263 # function pointers correctly.\r
 264 #\r
 265 \r
 266 .PHONY: decl\r
 267 decl:\r
 268         $(SPLINTR) decl.c -expect 2\r
 269         $(SPLINTRN) decl.c +strict -exportlocal -expect 5\r
 270         $(SPLINTR) decl2 -expect 4\r
 271 \r
 272 .PHONY: divzero\r
 273 divzero:\r
 274         $(SPLINTR) divzero.c -varuse -expect 0\r
 275 \r
 276 .PHONY: enum\r
 277 enum:\r
 278         $(SPLINTR) enum -expect 16\r
 279         $(SPLINTR) enum -misscase -expect 14\r
 280 \r
 281 .PHONY: exports\r
 282 exports:\r
 283         $(SPLINTR) exports.c +exporttype +exportvar +exportfcn +topuse +typeuse -expect 6\r
 284         $(SPLINTR) exports.c +exportany -expect 3\r
 285         $(SPLINTR) exports.c\r
 286 \r
 287 .PHONY: external\r
 288 external:\r
 289         $(SPLINTR) external.c +partial\r
 290         $(SPLINTR) external.c +partial +distinctexternalnames +ansi89limits -expect 2\r
 291         $(SPLINTR) external.c -nolib +partial -externalnamelength 3 -expect 3\r
 292         $(SPLINTR) external.c -nolib +partial -externalnamelength 3 +externalnamecaseinsensitive -expect 3\r
 293         $(SPLINTR) external.c +partial -externalnamelength 3 -expect 4\r
 294 \r
 295 .PHONY: fields\r
 296 fields:\r
 297         $(SPLINTR) fields.c +memchecks -expect 6\r
 298         $(SPLINTR) fields2.c +memchecks -expect 5\r
 299         $(SPLINTR) fields3.c +memchecks\r
 300 \r
 301 .PHONY: flags\r
 302 flags:\r
 303         $(SPLINTR) flags.c -expect 8\r
 304         $(SPLINTR) +nocomments flags.c -expect 2\r
 305 \r
 306 ### Added 2001-06-02\r
 307 \r
 308 .PHONY: forbody\r
 309 forbody:\r
 310         ${SPLINTR} forbody.c -expect 2\r
 311 \r
 312 ### Added 2001-06-03\r
 313 .PHONY: format\r
 314 format:\r
 315         ${SPLINTR} format.c -expect 3\r
 316         ${SPLINTR} format.c -formatconst \r
 317 \r
 318 # two new errors (invalid lhs)\r
 319 \r
 320 .PHONY: funcpointer\r
 321 funcpointer:\r
 322         $(SPLINTR) +memchecks +noparams funcpointer.c -expect 18\r
 323 \r
 324 .PHONY: functionmacro\r
 325 functionmacro:\r
 326         $(SPLINTR) functionmacro.c -expect 2\r
 327 \r
 328 .PHONY: glob\r
 329 glob:\r
 330         $(SPLINTR) glob -expect 4\r
 331         $(SPLINTR) glob -globuse -expect 3\r
 332         $(SPLINTR) glob +globunspec -expect 6\r
 333 \r
 334 .PHONY: globals\r
 335 globals:\r
 336         $(SPLINTR) -modifies globals.c -expect 5\r
 337         $(SPLINTR) -modifies globals.c +allglobals -expect 6\r
 338         $(SPLINTR) -modifies globals.c +impcheckedglobals -expect 6\r
 339         $(SPLINTR) -modifies globals.c -globals -checkstrictglobals -expect 2\r
 340         $(SPLINTR) -modifies globals.c +globunspec -expect 6\r
 341         $(SPLINTR) -modifies globals.c +globunspec +allglobals -expect 8\r
 342 \r
 343 # Was -accessfile\r
 344 .PHONY: impabstract\r
 345 impabstract: \r
 346         $(SPLINTR) -accessmodule impabstract.c \r
 347         $(SPLINTR) -accessmodule +hints +impabstract impabstract.c -expect 2\r
 348         $(SPLINTR) -accessmodule +hints +impabstract impabstract -expect 4\r
 349 \r
 350 ###\r
 351 ### evans 2001-12-30: Handle unrecognized pre-processor directives\r
 352 ###    (Reported by Pierluigi Sanzani)\r
 353 \r
 354 .PHONY: info\r
 355 info:\r
 356         ${SPLINTR} info.c -expect 4\r
 357 \r
 358 ### evans 2001-10-14: Expected errors updated\r
 359 .PHONY: init\r
 360 init:\r
 361         $(SPLINTR) init.c -expect 14\r
 362         $(SPLINTRN) init.c +checks -exportlocal -exportheadervar -expect 17\r
 363 \r
 364 .PHONY: inparam\r
 365 inparam:\r
 366         $(SPLINTR) inparam.c -expect 2\r
 367         $(SPLINTR) +impouts inparam.c -expect 1\r
 368 \r
 369 .PHONY: internal\r
 370 internal:\r
 371         $(SPLINTR) internal.c -expect 1\r
 372         $(SPLINTR) internal.c +distinctinternalnames -expect 1\r
 373         $(SPLINTR) internal.c +distinctinternalnames +ansi89limits -expect 2\r
 374         $(SPLINTR) internal.c -internalnamelen 28 -expect 3\r
 375         $(SPLINTR) internal.c +internalnamecaseinsensitive -expect 3\r
 376         $(SPLINTR) internal.c +internalnamecaseinsensitive +internalnamelookalike -expect 11\r
 377 \r
 378 ###\r
 379 ### iter\r
 380 ### 2001-06-06: Error message for iter.lcl:3,6 fixed to iter.lcl:3:6\r
 381 ### \r
 382 \r
 383 .PHONY: iter\r
 384 iter:\r
 385         $(SPLINTR) iter -expect 14 -lclexpect 1\r
 386         $(SPLINTR) iter2.c -expect 12\r
 387 \r
 388 .PHONY: keep\r
 389 keep:\r
 390         $(SPLINTR) keep.c +memchecks -expect 6\r
 391 \r
 392 ### libs\r
 393 ### 2001-05-22: 2 new errors found (fixed spec of signal)\r
 394 ### 2001-05-30: 3 new errors found (formatconst)\r
 395 \r
 396 .PHONY: libs\r
 397 libs:\r
 398         $(SPLINTR) libs.c +longunsignedunsignedintegral -expect 18\r
 399         $(SPLINTR) libs.c -expect 22\r
 400         $(SPLINTR) libs.c +globunspec +modunspec -expect 25\r
 401         $(SPLINTR) libs.c +strictlib +globunspec +modunspec -expect 42\r
 402 \r
 403 .PHONY: lintcomments\r
 404 lintcomments:\r
 405         $(SPLINTR) lintcomments.c -expect 5\r
 406         $(SPLINTR) lintcomments.c -warnlintcomments -expect 1\r
 407         $(SPLINTR) lintcomments.c -lintcomments -expect 4\r
 408 \r
 409 .PHONY: list\r
 410 list:\r
 411         $(SPLINTR) list.c -expect 3\r
 412 \r
 413 ###\r
 414 ### 2002-01-01: Added test case for obvious loop execution.\r
 415 ###\r
 416 \r
 417 .PHONY: loopexec\r
 418 loopexec:\r
 419         $(SPLINTR) loopexec.c -expect 1\r
 420         $(SPLINTR) loopexec.c -obviousloopexec -expect 3\r
 421 \r
 422 .PHONY: looptesteffect\r
 423 looptesteffect:\r
 424         $(SPLINTR) looptesteffect.c -expect 1\r
 425 \r
 426 .PHONY: macros\r
 427 macros:\r
 428         $(SPLINTR) macros -expect 17 \r
 429         $(SPLINTR) macros.c +allmacros -expect 34\r
 430         $(SPLINTR) macros.c +fcnmacros -expect 31\r
 431 \r
 432 .PHONY: macrosef\r
 433 macrosef:\r
 434         $(SPLINTR) macrosef -expect 4\r
 435         $(SPLINTR) macrosef.c +allmacros -expect 3\r
 436         $(SPLINTR) macrosef.c +allmacros +sefuncon -expect 4\r
 437 \r
 438 .PHONY: merge\r
 439 merge:\r
 440         $(SPLINTRN) merge.c +checks -exportlocal -exportheadervar -exportheader -expect 3\r
 441 \r
 442 .PHONY: mergenull\r
 443 mergenull:\r
 444         $(SPLINTRN) mergenull.c \r
 445 \r
 446 .PHONY: modifies\r
 447 modifies:\r
 448         $(SPLINTR) modifies.c modclient.c +impcheckedstatics +mustmod -expect 7\r
 449 \r
 450 .PHONY: modtest\r
 451 modtest:\r
 452         $(SPLINTR) modtest -expect 10\r
 453         $(SPLINTR) modtest +modunspec -expect 13\r
 454         $(SPLINTR) modtest +mustmod -expect 14\r
 455 \r
 456 .PHONY: moduncon\r
 457 moduncon:\r
 458         $(SPLINTR) moduncon.c +moduncon -memchecks -expect 4\r
 459         $(SPLINTRN) moduncon.c +strict -exportlocal -expect 22\r
 460 \r
 461 .PHONY: mongoincludes\r
 462 mongoincludes:\r
 463         $(SPLINTR) mongoincludes.c -includenest 1 -expect 19\r
 464         $(SPLINTR) mongoincludes.c -includenest 2 -expect 10\r
 465         $(SPLINTR) mongoincludes.c -includenest 3 -expect 4\r
 466         $(SPLINTR) mongoincludes.c -includenest 4 -expect 1\r
 467         $(SPLINTR) mongoincludes.c -includenest 5 -expect 0\r
 468 \r
 469 .PHONY: mystrncat\r
 470 mystrncat:\r
 471         $(SPLINTR) mystrncat.c +boundsread +boundswrite -expect 4 \r
 472 \r
 473 .PHONY: noeffect\r
 474 noeffect:\r
 475         ${SPLINTP} noeffect.c +allmacros +checks -expect 3\r
 476 \r
 477 ###\r
 478 ### 2002-01-01: null1.c: expect increased to 15 because out must be defined\r
 479 ###                         checking detects one new error\r
 480 ###\r
 481 \r
 482 .PHONY: null\r
 483 null: \r
 484         $(SPLINTR) null1.c -expect 15\r
 485         $(SPLINTR) null1.c -null -mustdefine -expect 4\r
 486         $(SPLINTR) null2.c -expect 11\r
 487         $(SPLINTR) null3.c -expect 15\r
 488         $(SPLINTR) null3.c -warnunixlib +unixlib -expect 16\r
 489         $(SPLINTR) null4.c -expect 1\r
 490         $(SPLINTR) null5.c -expect 4\r
 491         $(SPLINTR) null6 -expect 4\r
 492         $(SPLINTR) +quiet null6.lcl -dump null6\r
 493         $(SPLINTR) null6.c -load null6 -expect 4\r
 494 \r
 495 ### Added for 3.0 (bugs reported by Kevin Broady)\r
 496 \r
 497 .PHONY: nullret\r
 498 nullret:\r
 499         $(SPLINTR) nullret.c -expect 2\r
 500         $(SPLINTR) -nullret nullret.c -expect 1\r
 501 \r
 502 .PHONY: nullassign\r
 503 nullassign:\r
 504         $(SPLINTR) nullassign.c -expect 2\r
 505         $(SPLINTR) -nullassign nullassign.c -expect 1\r
 506 \r
 507 #\r
 508 # Before 2.4, expected one more because error was reported both as \r
 509 # dependent and observer.\r
 510 #\r
 511 \r
 512 .PHONY: observer\r
 513 observer:\r
 514         $(SPLINTRN) observer +checks -exportlocal -exportheader -expect 9\r
 515         $(SPLINTRN) observer.c +checks -exportlocal -exportheader -expect 8\r
 516         $(SPLINTR) observer.c -expect 7\r
 517 \r
 518 .PHONY: oldstyle\r
 519 oldstyle:\r
 520         $(SPLINTR) oldstyle oldstyle2.c -expect 5\r
 521 \r
 522 .PHONY: outglob\r
 523 outglob:\r
 524         $(SPLINTR) outglob -expect 10\r
 525 \r
 526 .PHONY: outparam\r
 527 outparam:\r
 528         $(SPLINTR) outparam -expect 12\r
 529 \r
 530 ### evans 2001-08-26: postnotnull new\r
 531 \r
 532 .PHONY: postnotnull\r
 533 postnotnull:\r
 534         ${SPLINTR} postnotnull.c -expect 1\r
 535 \r
 536 ### evans 2002-02-09: added parentype.c\r
 537 .PHONY: parentype\r
 538 parentype:\r
 539         ${SPLINTR} parentype.c \r
 540 \r
 541 #\r
 542 # Four new +fcnuse errors for -strict (evans 2001-07-22)\r
 543 # \r
 544 \r
 545 .PHONY: preds\r
 546 preds:\r
 547         $(SPLINTR) +hints preds.c -expect 6\r
 548         $(SPLINTRN) +hints preds.c -weak -expect 1\r
 549         $(SPLINTRN) +hints preds.c -strict -exportlocal -exportheader -expect 12\r
 550 \r
 551 .PHONY: prefixes\r
 552 prefixes:\r
 553         $(SPLINTR) prefixes.c +partial\r
 554         $(SPLINTRN) prefixes.c +allmacros +checks -exportlocal +partial -exportheader -exportheadervar -expect 4\r
 555         $(SPLINTR) prefixes.c -typeprefix "T" -expect 2\r
 556         $(SPLINTR) prefixes.c -typeprefix "^" -expect 1\r
 557         $(SPLINTR) prefixes.c -typeprefix "^*" -expect 2\r
 558         $(SPLINTR) prefixes.c -typeprefix "^%*" -expect 2\r
 559         $(SPLINTR) prefixes.c -typeprefix "^~*" -expect 2\r
 560         $(SPLINTR) prefixes.c -typeprefix "^" +typeprefixexclude -expect 7\r
 561         $(SPLINTR) prefixes.c -filestaticprefix "^^" -expect 4\r
 562         $(SPLINTR) prefixes.c -filestaticprefix "^#" -expect 5\r
 563         $(SPLINTR) prefixes.c -filestaticprefix "^?&x" -expect 5\r
 564         $(SPLINTR) prefixes.c -globalprefix "G" -expect 1\r
 565         $(SPLINTR) prefixes.c -globalprefix "&G?_^" -expect 1\r
 566         $(SPLINTR) prefixes.c -externalprefix "G" -expect 5\r
 567         $(SPLINTR) prefixes.c -typeprefix "T" -externalprefix "G" -expect 4\r
 568 #       herbert: unsolved problem with quoting the '*' here!\r
 569 #       $(SPLINTR) prefixes.c -localprefix "?*" +localprefixexclude -expect 13\r
 570 \r
 571 .PHONY: printflike\r
 572 printflike:\r
 573         $(SPLINTR) printflike.c -expect 6\r
 574         $(SPLINTR) printflike.c -warnlintcomments -expect 5\r
 575 \r
 576 .PHONY: rc\r
 577 rc:\r
 578 #       herbert unsolved problem with quoting here!\r
 579 #       $(SPLINTR) -DMYSTERY='"a flag\"wicked cool"' rc.c -expect 1\r
 580         $(SPLINTR) -DMYSTERY=12 rc.c -expect 1\r
 581         $(SPLINTR) -f rc1.splintrc rc.c -expect 1\r
 582         $(SPLINTR) -UMYSTERY -f rc1.splintrc rc.c -expect 1\r
 583         $(SPLINTR) -f rc3.splintrc.os2 rc.c -expect 1\r
 584 \r
 585 .PHONY: rcfiles\r
 586 rcfiles:\r
 587         cd rcfiles; ${MAKE} SPLINT="$(SPLINTPNEST)"\r
 588 \r
 589 .PHONY: refcounts\r
 590 refcounts:\r
 591         $(SPLINTR) refcounts.c -expect 7 \r
 592 \r
 593 .PHONY: release\r
 594 release:\r
 595         $(SPLINTR) release.c +memchecks -expect 1\r
 596 \r
 597 .PHONY: repexpose\r
 598 repexpose:\r
 599         $(SPLINTR) +lh repexpose +memchecks -expect 12\r
 600         $(SPLINTR) repexpose +memchecks +retalias -expect 15\r
 601         $(SPLINTRN) repexpose +checks -exportlocal -expect 27\r
 602 \r
 603 ### returned added 2001-05-27\r
 604 ### (Bug discovered checking splint sources.)\r
 605 \r
 606 .PHONY: returned\r
 607 returned:\r
 608         ${SPLINTR} returned.c -expect 1\r
 609 \r
 610 .PHONY: sharing\r
 611 sharing: \r
 612         $(SPLINTR) sharing1.c -expect 21\r
 613         $(SPLINTR) sharing3.c -expect  3\r
 614         $(SPLINTR) sharing4.c -expect 13\r
 615         $(SPLINTR) sharing4.c -paramimptemp -expect 12\r
 616         $(SPLINTR) sharing5.c -expect 6\r
 617 \r
 618 .PHONY: shifts\r
 619 shifts:\r
 620         $(SPLINTR) shifts.c -expect 4\r
 621         $(SPLINTR) shifts.c -shiftimplementation -expect 3\r
 622         $(SPLINTR) shifts.c -shiftnegative -expect 1\r
 623 \r
 624 .PHONY: slovaknames\r
 625 slovaknames:\r
 626         $(SPLINTR) +hints slovaknames.c -expect 1\r
 627         $(SPLINTR) +hints slovaknames.c +accessslovak \r
 628         $(SPLINTR) +hints +slovak slovaknames.c -expect 3\r
 629         $(SPLINTR) +hints +slovak -slovakvars slovaknames.c -expect 2\r
 630         $(SPLINTR) +hints +slovak -accessslovak slovaknames.c -expect 7\r
 631 \r
 632 .PHONY: specclauses\r
 633 specclauses:\r
 634         $(SPLINTR) specclauses.c -expect 6\r
 635         $(SPLINTR) specclauses2.c -expect 8\r
 636         $(SPLINTR) specclauses3.c -expect 6\r
 637         $(SPLINTR) specclauses4.c -expect 3\r
 638         $(SPLINTR) specclauses5.c -expect 3\r
 639 \r
 640 .PHONY: specclauses1\r
 641 specclauses1:\r
 642         $(SPLINTR) specclauses.c -expect 6\r
 643 \r
 644 .PHONY: specclauses2\r
 645 specclauses2:\r
 646         $(SPLINTR) specclauses2.c -expect 8\r
 647 \r
 648 .PHONY: specclauses3\r
 649 specclauses3:\r
 650         $(SPLINTR) specclauses3.c -expect 6\r
 651 \r
 652 .PHONY: specclauses4\r
 653 specclauses4:\r
 654         $(SPLINTR) specclauses4.c -expect 3\r
 655 \r
 656 .PHONY: specclauses5\r
 657 specclauses5:\r
 658         $(SPLINTR) specclauses5.c -expect 3\r
 659 \r
 660 .PHONY: special\r
 661 special:\r
 662         $(SPLINTR) special -expect 20\r
 663         $(SPLINTR) special -relaxquals -expect 22\r
 664 \r
 665 .PHONY: stack\r
 666 stack:\r
 667         $(SPLINTR) stack.c -expect 5\r
 668         $(SPLINTR) stack.c -stackref\r
 669 \r
 670 .PHONY: staticarray\r
 671 staticarray:\r
 672         $(SPLINTR) staticarray.c -expect 3\r
 673 \r
 674 ###\r
 675 ### evans 2002-03-16: Default setting of stringliteralnoroomfinalnull changed\r
 676 ### \r
 677 \r
 678 .PHONY: stringliteral\r
 679 stringliteral:\r
 680         $(SPLINTR) stringliteral.c -stringliteralnoroomfinalnull -expect 3\r
 681         $(SPLINTR) stringliteral.c -expect 4\r
 682 \r
 683 .PHONY: strings\r
 684 strings:\r
 685         $(SPLINTR) strings.c -expect 3\r
 686         $(SPLINTR) -readonlystrings -expect 1 strings.c\r
 687         $(SPLINTR) +modobserverstrict -maintype -expect 4 strings.c\r
 688 \r
 689 .PHONY: structassign\r
 690 structassign:\r
 691         $(SPLINTR) structassign.c -expect 4\r
 692 \r
 693 .PHONY: typeof\r
 694 typeof:\r
 695         $(SPLINTR) typeof.c -expect 2\r
 696 \r
 697 .PHONY: typequals\r
 698 typequals:\r
 699         $(SPLINTR) typequals.c tq.lcl -expect 5\r
 700         $(SPLINTR) typequals.c -expect 2\r
 701 \r
 702 .PHONY: ud\r
 703 ud:\r
 704         $(SPLINTR) ud.c -expect 9\r
 705         $(SPLINTR) ud2 -specundef -expect 3\r
 706 \r
 707 .PHONY: ulstypes\r
 708 ulstypes:\r
 709         $(SPLINTR) ulstypes.c -expect 8\r
 710         $(SPLINTR) ulstypes.c +ignorequals \r
 711         $(SPLINTRN) ulstypes.c +strict -exportheader -exportheadervar -expect 28\r
 712 \r
 713 # 3 more detected with version 2.5 (change in -numliteral setting)\r
 714 \r
 715 .PHONY: union\r
 716 union:\r
 717         $(SPLINTR) +memchecks union.c -expect 8\r
 718 \r
 719 ###\r
 720 ### Added 2001-12-30: fixed union initializer checking in response to\r
 721 ### bug report from Jim Zelenka.\r
 722 ###\r
 723 \r
 724 .PHONY: unioninit\r
 725 unioninit:\r
 726         $(SPLINTR) unioninit.c -expect 2\r
 727 \r
 728 .PHONY: unnamedsu\r
 729 unnamedsu:\r
 730         $(SPLINTR) unnamedsu.c -expect 0\r
 731 \r
 732 .PHONY: unreachable\r
 733 unreachable:\r
 734         $(SPLINTR) unreachable.c -expect 5\r
 735         $(SPLINTR) -unreachable unreachable.c -expect 2\r
 736         $(SPLINTR) switch.c -expect 4\r
 737 \r
 738 .PHONY: unsignedcompare\r
 739 unsignedcompare:\r
 740         ${SPLINTR} +posixlib unsignedcompare.c -expect 4\r
 741 \r
 742 ###\r
 743 ### 2001-06-08 evans: 2 new errors after fixing ansireserved name checks\r
 744 ###\r
 745 \r
 746 .PHONY: unused\r
 747 unused:\r
 748         $(SPLINTRN) unused.c +checks -exportlocal -expect 5\r
 749         $(SPLINTRN) unused.c +checks -exportlocal +topuse -expect 8\r
 750 \r
 751 ###\r
 752 ### 2001-06-10: Provided by Jim Zalenka\r
 753 ###\r
 754 \r
 755 .PHONY: ullint\r
 756 ullint:\r
 757         ${SPLINTRN} ullint.c -expect 5\r
 758         ${SPLINTRN} ullint.c +charint +charintliteral -expect 2\r
 759 \r
 760 ###\r
 761 ### 2001-12-30: Poor warnings reported by Peter Deutsch\r
 762 ###\r
 763 \r
 764 .PHONY: utypes\r
 765 utypes:\r
 766         ${SPLINTRN} utypes.c -expect 6\r
 767 \r
 768 ###\r
 769 \r
 770 .PHONY: void\r
 771 void:\r
 772         ${SPLINTRN} void.c -expect 2\r
 773 \r
 774 ###\r
 775 ### 2001-12-30: Problems with wide character strings reported by Nelson Beebe\r
 776 ###\r
 777 \r
 778 .PHONY: widestrings\r
 779 widestrings:\r
 780         ${SPLINTRN} widestrings.c -expect 2\r
 781 \r
 782 ###\r
 783 ### New since 2.5q:\r
 784 ###\r
 785 \r
 786 .PHONY: linked\r
 787 linked:\r
 788         ${SPLINTR} linked.c -expect 4\r
 789         ${SPLINTR} linked2.c -expect 3\r
 790         ${SPLINTR} linked3.c -expect 5\r
 791         ${SPLINTR} linked4.c -expect 6\r
 792         ${SPLINTR} linked5.c -expect 4\r
 793         ${SPLINTR} linked6.c -expect 4\r
 794 \r
 795 .PHONY: freearray\r
 796 freearray:\r
 797         ${SPLINTR} freearray.c -expect 1\r
 798 \r
 799 .PHONY: sizeof\r
 800 sizeof:\r
 801         $(SPLINTR) +bounds sizeof.c -expect 1\r
 802 \r
 803 .PHONY: buffertest\r
 804 buffertest:\r
 805         $(SPLINTR) +bounds buffertest1.c -expect 5\r
 806 \r
 807 .PHONY: $(SUBDIRTESTS)\r
 808 $(SUBDIRTESTS):\r
 809         $(MAKE) -C $@ SPLINT="$(SPLINTRNNEST)" \r
 810 \r