test/Makefile

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