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