##################################################
###                                            ###
### Makefile for LCLint testing                ###
###                                            ### 
### designed for use with GNU make             ### 
###                                            ###
##################################################

.PHONY: all fulltest quicktest funcpointer cast abstract
.PHONY:	version help abstptr abstract alias alttypes ansireserved 
.PHONY: argorder blocks break cases cast charlit 
.PHONY: clauses commentchar 
.PHONY: compdestroy constannot controldepth csyntax czechnames czechoslovaknames 
.PHONY: deadparam decl enum exports external fields fileio flags forbody format funcpointer glob globals 
.PHONY: impabstract init inparam internal iter keep libs lintcomments 
.PHONY: list macros macrosef merge mergestate modifies modtest moduncon mongoincludes 
.PHONY: noeffect null observer oldstyle outglob outparam postnotnull preds prefixes printflike rc 
.PHONY: refcounts release repexpose returned sharing slovaknames special
.PHONY: specclauses stack staticarray 
.PHONY: strings structassign nullret
.PHONY: tainted typequals ud ulstypes union unreachable unused ullint unsignedcompare void
.PHONY: db1 db2 db3 tests2.2 tests2.2a tests2.4 tests2.5
.PHONY: all test fulltest expects quicktest
.PHONY: warnuse metastate
.PHONY: linked freearray
.PHONY: sizeoftest
.PHONY: bufferTest
.PHONY: simplebufferConstraintTests
.PHONY: moreBufferTests
.PHONY: maxset
.PHONY: globalbufferannotation
.PHONY: strchr
.PHONY: for

.SUFFIXES: .out .expect .c .lcl .h .lh .diff

# Command to run lclint
LCLINT  = ..\\bin\\lclint
LCLINTP = $(LCLINT)

# Make sure .lclintrc files are not used so test results do not
# depend on local settings.
LCLINTRN = $(LCLINTP) -nof -hints -booltype "bool"
LCLINTR = $(LCLINTRN) -exportlocal   +debugfcnconstraint 

UNITTESTS = \
  fileio tainted mergestate metastate \
  help sizeoftest bufferTest simplebufferConstraintTests \
  moreBufferTests globalbufferannotation maxset strchr for \
  abstptr abstract alias alttypes ansireserved argorder args blocks break cases cast \
  charlit clauses commentchar compdestroy constannot controldepth csyntax czechnames czechoslovaknames deadparam \
  decl enum exports external fields flags forbody format freearray funcpointer glob globals impabstract \
  init inparam internal iter keep libs linked lintcomments list macros macrosef merge modifies \
  modtest moduncon mongoincludes mystrncat noeffect null observer oldstyle \
  outglob outparam postnotnull preds prefixes \
  printflike rc refcounts release repexpose returned sharing slovaknames specclauses special stack \
  staticarray strings structassign \
  typequals ud ulstypes union unreachable unsignedcompare unused ullint void \
  tests2.2 tests2.2a tests2.4 tests2.5 

UNITEXPECTS  = $(addsuffix .expect, $(UNITTESTS))

LCLINTTESTS = version $(UNITTESTS) 

all: quicktest

DIFF = diff

### not real .c

quicktest: $(LCLINTTESTS)

###
### Unit Tests
###

version:
	@$(LCLINTP) -help version
	@$(LCLINTP) -help vars

abstptr:
	$(LCLINTR) abstptr -expect 9
	$(LCLINTR) abstptr +voidabstract -expect 6

abstract:
	$(LCLINTR) abst_t.lcl commentcmd.c -expect 15

alias:
	$(LCLINTR) +lh mut
	$(LCLINTR) mut alias +globalias -expect 19
	$(LCLINTR) mut alias2 +globalias -expect 17
	$(LCLINTR) +lh alias3 -expect 14 
	$(LCLINTR) +lh alias4 +boolint
	$(LCLINTR) alias4 -pred +retalias -expect 6
	$(LCLINTR) +lh alias5 +memchecks -null -specundef -expect 5

alttypes:
	$(LCLINTR) alttypes.c -expect 2

###
### evans 2001-06-07 - updated nameCheck.c to reflect C9X.
### Reports one new errors for ansireserved.c - wctomb is bad even as a local variable.
###    (could be a macro?)
### Reports 3 additional errors for +checks; no longer suppresses name errors in the
###    presense of other errors.
###

ansireserved:
	$(LCLINTR) ansireserved.c +ansireserved -nolib -expect 9
	$(LCLINTR) ansireserved.c +ansireserved +ansireservedlocal -nolib -expect 11
	$(LCLINTRN) ansireserved.c +checks -exportlocal -exportheadervar -exportheader -expect 12
	$(LCLINTR) ansireserved2.c +ansireserved -expect 1

argorder:
	$(LCLINTR) argorder.c -expect 4
	$(LCLINTR) argorder2  -expect 5
	$(LCLINTR) argorder3.c -expect 8
	$(LCLINTR) argorder4 -expect 9
	$(LCLINTR) argorder4 -evalorder -expect 1
	$(LCLINTR) argorder5.c +evalorderuncon -expect 3

args:
	$(LCLINTR) args -noeffect -expect 12

blocks:
	$(LCLINTR) blocks.c -expect 4
	$(LCLINTR) blocks.c +ifblock +elseifcomplete -expect 7
	$(LCLINTR) blocks.c -ifempty +whileempty +whileblock -expect 3
	$(LCLINTR) blocks.c -ifempty +forempty +forblock -expect 3
	$(LCLINTR) blocks.c +allempty -expect 6
	$(LCLINTRN) blocks.c +strict -exportlocal +partial -exportheader -expect 11

break:
	$(LCLINTR) break.c -expect 4
	$(LCLINTR) break.c +deepbreak -expect 6
	$(LCLINTR) break.c +deepbreak -looploopbreak -expect 5

cases: 
	$(LCLINTR) cases.c -expect 5
	$(LCLINTR) cases2.c -expect 2
	$(LCLINTRN) cases2.c +checks -exportlocal -exportheader -expect 3
	$(LCLINTRN) cases2.c +checks -exportlocal -exportheader -branchstate -expect 3

cast:
	$(LCLINTR) cast -accessmodule -expect 20
	$(LCLINTRN) cast2.c +checks -exportlocal -exportheader -expect 3

### Two addition errors detected with 2.5 with -numliteral.

charlit:
	$(LCLINTR) +hints charlit.c -expect 4
	$(LCLINTR) +hints -numliteral charlit.c -expect 6
	$(LCLINTR) +hints charlit.c +charintliteral +ignoresigns

clauses: 
	$(LCLINTR) clauses.c +memchecks -expect 4
	$(LCLINTR) clauses2.c +memchecks 
	$(LCLINTR) clauses3.c +memchecks -expect 2
	$(LCLINTR) clauses3.c +memchecks +unixlib -expect 3

commentchar:
	$(LCLINTR) commentchar.c -expect 4
	$(LCLINTR) -commentchar '#' commentchar.c -expect 4

controldepth:
	$(LCLINTR) +hints -controlnestdepth 2 controldepth.c -expect 2
	$(LCLINTR) +hints -controlnestdepth 1 controldepth.c -expect 2

compdestroy:
	$(LCLINTRN) compdestroy.c +checks -exportlocal -exportheader -expect 1
	$(LCLINTRN) compdestroy.c +checks -exportlocal -exportheader +strictdestroy -expect 2
	$(LCLINTRN) compdestroy.c +checks -exportlocal -exportheader +strictdestroy +strictusereleased -expect 3
	$(LCLINTRN) compdestroy.c +strict +partial -exportheader -expect 3

constannot:
	${LCLINTRN} constannot.c +arraybounds  -exportlocal -expect 2

csyntax:
	$(LCLINTR) +quiet -incondefs csyntax.c -expect 1 
	$(LCLINTR) +quiet csyntax2.c -expect 2
	$(LCLINTR) +quiet csyntax3.c -expect 1
	$(LCLINTR) +quiet -incondefs csyntax4.c
	$(LCLINTR) +quiet csyntax5.c
	$(LCLINTR) +quiet csyntax6.c
	$(LCLINTR) +quiet csyntax7.c
	$(LCLINTR) +quiet csyntax8.c
	$(LCLINTR) +quiet csyntax9.c
	$(LCLINTR) +quiet csyntax10.c
	$(LCLINTR) +quiet csyntax11.c
	$(LCLINTR) +quiet csyntax12.c
	$(LCLINTR) +quiet csyntax13.c -expect 1
	$(LCLINTR) +quiet csyntax14.c
	$(LCLINTR) +quiet csyntax15.c
	$(LCLINTR) +quiet csyntax16.c -expect 2
	$(LCLINTR) +quiet csyntax17.c -expect 3

czechnames:
	$(LCLINTR) czechnames.c
	$(LCLINTR) +hints +czech czechnames.c -expect 2
	$(LCLINTR) +hints +czech -czechvars czechnames.c -expect 1
	$(LCLINTR) +hints +czech -accessczech czechnames.c -expect 6

czechoslovaknames:
	$(LCLINTR) +hints +czechoslovak czechnames.c -expect 1
	$(LCLINTR) +hints +czechoslovak slovaknames.c -expect 1
	$(LCLINTR) +hints +czechoslovak +slovakvars slovaknames.c -expect 2

###
### deadparam added 2001-05-27
###

deadparam:
	${LCLINTR} deadparam.c -expect 3

#
# Was expect 3 before 2.4.  Earlier versions did not handle implicit
# function pointers correctly.
#

decl:
	$(LCLINTR) decl.c -expect 2
	$(LCLINTRN) decl.c +strict -exportlocal -expect 5
	$(LCLINTR) decl2 -expect 4

enum:
	$(LCLINTR) enum -expect 16
	$(LCLINTR) enum -misscase -expect 14

exports:
	$(LCLINTR) exports.c +exporttype +exportvar +exportfcn +topuse +typeuse -expect 6
	$(LCLINTR) exports.c +exportany -expect 3
	$(LCLINTR) exports.c

external:
	$(LCLINTR) external.c +partial
	$(LCLINTR) external.c +partial +distinctexternalnames -expect 2
	$(LCLINTR) external.c -nolib +partial -externalnamelength 3 -expect 3
	$(LCLINTR) external.c -nolib +partial -externalnamelength 3 +externalnamecaseinsensitive -expect 3
	$(LCLINTR) external.c +partial -externalnamelength 3 -expect 4

fields:
	$(LCLINTR) fields.c +memchecks -expect 6
	$(LCLINTR) fields2.c +memchecks -expect 5
	$(LCLINTR) fields3.c +memchecks

flags:
	$(LCLINTR) flags.c -expect 8
	$(LCLINTR) +nocomments flags.c -expect 2

### Added 2001-06-02

forbody:
	${LCLINTR} forbody.c -expect 2

### Added 2001-06-03
format:
	${LCLINTR} format.c -expect 3
	${LCLINTR} format.c -formatconst 

# two new errors (invalid lhs)

funcpointer:
	$(LCLINTR) +memchecks +noparams funcpointer.c -expect 18

glob:
	$(LCLINTR) glob -expect 4
	$(LCLINTR) glob -globuse -expect 3
	$(LCLINTR) glob +globunspec -expect 6

globals:
	$(LCLINTR) -modifies globals.c -expect 5
	$(LCLINTR) -modifies globals.c +allglobals -expect 6
	$(LCLINTR) -modifies globals.c +impcheckedglobals -expect 6
	$(LCLINTR) -modifies globals.c -globals -checkstrictglobals -expect 2
	$(LCLINTR) -modifies globals.c +globunspec -expect 6
	$(LCLINTR) -modifies globals.c +globunspec +allglobals -expect 8

# Was -accessfile
impabstract: 
	$(LCLINTR) -accessmodule impabstract.c 
	$(LCLINTR) -accessmodule +hints +impabstract impabstract.c -expect 2
	$(LCLINTR) -accessmodule +hints +impabstract impabstract -expect 4

init:
	$(LCLINTR) init.c -expect 12
	$(LCLINTRN) init.c +checks -exportlocal -exportheadervar -expect 15

inparam:
	$(LCLINTR) inparam.c -expect 2
	$(LCLINTR) +impouts inparam.c -expect 1

internal:
	$(LCLINTR) internal.c -expect 1
	$(LCLINTR) internal.c +distinctinternalnames -expect 2
	$(LCLINTR) internal.c -internalnamelen 28 -expect 3
	$(LCLINTR) internal.c +internalnamecaseinsensitive -expect 3
	$(LCLINTR) internal.c +internalnamecaseinsensitive +internalnamelookalike -expect 11

###
### iter
### 2001-06-06: Error message for iter.lcl:3,6 fixed to iter.lcl:3:6
### 

iter:
	$(LCLINTR) iter -expect 14 -lclexpect 1
	$(LCLINTR) iter2.c -expect 12

keep:
	$(LCLINTR) keep.c +memchecks -expect 6

### libs
### 2001-05-22: 2 new errors found (fixed spec of signal)
### 2001-05-30: 3 new errors found (formatconst)

libs:
	$(LCLINTR) libs.c +longunsignedunsignedintegral -expect 18
	$(LCLINTR) libs.c -expect 22
	$(LCLINTR) libs.c +globunspec +modunspec -expect 25
	$(LCLINTR) libs.c +strictlib +globunspec +modunspec -expect 42

lintcomments:
	$(LCLINTR) lintcomments.c -expect 4
	$(LCLINTR) lintcomments.c -warnlintcomments -expect 1
	$(LCLINTR) lintcomments.c -lintcomments -expect 4

list:
	$(LCLINTR) list.c -expect 3

macros:
	$(LCLINTR) macros -expect 17 
	$(LCLINTR) macros.c +allmacros -expect 34
	$(LCLINTR) macros.c +fcnmacros -expect 31


macrosef:
	$(LCLINTR) macrosef -expect 4
	$(LCLINTR) macrosef.c +allmacros -expect 3
	$(LCLINTR) macrosef.c +allmacros +sefuncon -expect 4

merge:
	$(LCLINTRN) merge.c +checks -exportlocal -exportheadervar -exportheader -expect 3

modifies:
	$(LCLINTR) modifies.c modclient.c +impcheckedstatics +mustmod -expect 7

modtest:
	$(LCLINTR) modtest -expect 10
	$(LCLINTR) modtest +modunspec -expect 13
	$(LCLINTR) modtest +mustmod -expect 14

moduncon:
	$(LCLINTR) moduncon.c +moduncon -memchecks -expect 4
	$(LCLINTRN) moduncon.c +strict -exportlocal -expect 22

mongoincludes:
	$(LCLINTR) mongoincludes.c -includenest 1 -expect 19
	$(LCLINTR) mongoincludes.c -includenest 2 -expect 10
	$(LCLINTR) mongoincludes.c -includenest 3 -expect 4
	$(LCLINTR) mongoincludes.c -includenest 4 -expect 1
	$(LCLINTR) mongoincludes.c -includenest 5 -expect 0

mystrncat:
	$(LCLINTR) mystrncat.c +arraybounds  +arrayboundsread -expect 4 

noeffect:
	${LCLINT} -nof noeffect.c +allmacros +checks -expect 3

null: 
	$(LCLINTR) null1.c -expect 14
	$(LCLINTR) null1.c -null -expect 4
	$(LCLINTR) null2.c -expect 10
	$(LCLINTR) null3.c -expect 15
	$(LCLINTR) null3.c -warnunixlib +unixlib -expect 16
	$(LCLINTR) null4.c -expect 1
	$(LCLINTR) null5.c -expect 4
	$(LCLINTR) null6 -expect 4
	$(LCLINTR) +quiet null6.lcl -dump null6
	$(LCLINTR) null6.c -load null6 -expect 4

### Added for 3.0 (bugs reported by Kevin Broady)

nullret:
	$(LCLINTR) nullret.c -expect 2
	$(LCLINTR) -nullret nullret.c -expect 1

nullassign:
	$(LCLINTR) nullassign.c -expect 2
	$(LCLINTR) -nullassign nullassign.c -expect 1


#
# Before 2.4, expected one more because error was reported both as 
# dependent and observer.
#

observer:
	$(LCLINTRN) observer +checks -exportlocal -exportheader -expect 9
	$(LCLINTRN) observer.c +checks -exportlocal -exportheader -expect 8
	$(LCLINTR) observer.c -expect 7

oldstyle:
	$(LCLINTR) oldstyle -expect 3

outglob:
	$(LCLINTR) outglob -expect 10

outparam:
	$(LCLINTR) outparam -expect 12

### evans 2001-08-26: postnotnull new

postnotnull:
	${LCLINTR} postnotnull.c -expect 1
#
# Four new +fcnuse errors for -strict (evans 2001-07-22)
# 

preds:
	$(LCLINTR) +hints preds.c -expect 6
	$(LCLINTRN) +hints preds.c -weak -expect 1
	$(LCLINTRN) +hints preds.c -strict -exportlocal -exportheader -expect 12

prefixes:
	$(LCLINTR) prefixes.c +partial
	$(LCLINTRN) prefixes.c +allmacros +checks -exportlocal +partial -exportheader -exportheadervar -expect 4
	$(LCLINTR) prefixes.c -typeprefix "T" -expect 2
	$(LCLINTR) prefixes.c -typeprefix "^" -expect 1
	$(LCLINTR) prefixes.c -typeprefix "^*" -expect 2
	$(LCLINTR) prefixes.c -typeprefix "^%*" -expect 2
	$(LCLINTR) prefixes.c -typeprefix "^~*" -expect 2
	$(LCLINTR) prefixes.c -typeprefix "^" +typeprefixexclude -expect 7
	$(LCLINTR) prefixes.c -filestaticprefix "^^" -expect 4
	$(LCLINTR) prefixes.c -filestaticprefix "^#" -expect 5
	$(LCLINTR) prefixes.c -filestaticprefix "^?&x" -expect 5
	$(LCLINTR) prefixes.c -globalprefix "G" -expect 1
	$(LCLINTR) prefixes.c -globalprefix "&G?_^" -expect 1
	$(LCLINTR) prefixes.c -externalprefix "G" -expect 5
	$(LCLINTR) prefixes.c -typeprefix "T" -externalprefix "G" -expect 4

# herbert: does not work (shell capabilities)
#	$(LCLINTR) prefixes.c -localprefix "?*" +localprefixexclude -expect 13

printflike:
	$(LCLINTR) printflike.c -expect 6
	$(LCLINTR) printflike.c -warnlintcomments -expect 5

rc:
	$(LCLINTR) -DMYSTERY=12 rc.c -expect 1
	$(LCLINTR) -f rc1.lclintrc rc.c -expect 1
	$(LCLINTR) -UMYSTERY -f rc1.lclintrc rc.c -expect 1
	$(LCLINTR) -f rc3.lclintrc.os2 rc.c -expect 1

refcounts:
	$(LCLINTR) refcounts.c -expect 7 

release:
	$(LCLINTR) release.c +memchecks -expect 1

repexpose:
	$(LCLINTR) +lh repexpose +memchecks -expect 12
	$(LCLINTR) repexpose +memchecks +retalias -expect 15
	$(LCLINTRN) repexpose +checks -exportlocal -expect 27

### returned added 2001-05-27
### (Bug discovered checking lclint sources.)

returned:
	${LCLINTR} returned.c -expect 1

sharing: 
	$(LCLINTR) sharing1.c -expect 21
	$(LCLINTR) sharing3.c -expect  3
	$(LCLINTR) sharing4.c -expect 13
	$(LCLINTR) sharing4.c -paramimptemp -expect 12
	$(LCLINTR) sharing5.c -expect 6

slovaknames:
	$(LCLINTR) +hints slovaknames.c -expect 1
	$(LCLINTR) +hints slovaknames.c +accessslovak 
	$(LCLINTR) +hints +slovak slovaknames.c -expect 3
	$(LCLINTR) +hints +slovak -slovakvars slovaknames.c -expect 2
	$(LCLINTR) +hints +slovak -accessslovak slovaknames.c -expect 7

specclauses:
	$(LCLINTR) specclauses.c -expect 6
	$(LCLINTR) specclauses2.c -expect 8
	$(LCLINTR) specclauses3.c -expect 6
	$(LCLINTR) specclauses4.c -expect 3
	$(LCLINTR) specclauses5.c -expect 3

special:
	$(LCLINTR) special -expect 20
	$(LCLINTR) special -relaxquals -expect 22

stack:
	$(LCLINTR) stack.c -expect 5
	$(LCLINTR) stack.c -stackref

staticarray:
	$(LCLINTR) staticarray.c -expect 3

strings:
	$(LCLINTR) strings.c -expect 3
	$(LCLINTR) -readonlystrings -expect 1 strings.c
	$(LCLINTR) +modobserverstrict -maintype -expect 4 strings.c

structassign:
	$(LCLINTR) structassign.c -expect 4

typequals:
	$(LCLINTR) typequals.c tq.lcl -expect 5
	$(LCLINTR) typequals.c -expect 2

ud:
	$(LCLINTR) ud.c -expect 9
	$(LCLINTR) ud2 -specundef -expect 3

ulstypes:
	$(LCLINTR) ulstypes.c -expect 8
	$(LCLINTR) ulstypes.c +ignorequals 
	$(LCLINTRN) ulstypes.c +strict -exportheader -exportheadervar -expect 28
# 3 more detected with version 2.5 (change in -numliteral setting)

union:
	$(LCLINTR) +memchecks union.c -expect 8

unreachable:
	$(LCLINTR) unreachable.c -expect 5
	$(LCLINTR) -unreachable unreachable.c -expect 2
	$(LCLINTR) switch.c -expect 4

unsignedcompare:
	${LCLINT} +posixlib unsignedcompare.c -expect 4


###
### 2001-06-08 evans: 2 new errors after fixing ansireserved name checks
###

unused:
	$(LCLINTRN) unused.c +checks -exportlocal -expect 5
	$(LCLINTRN) unused.c +checks -exportlocal +topuse -expect 8

###
### 2001-06-10: Provided by Jim Zalenka
###

ullint:
	${LCLINTRN} ullint.c -expect 5
	${LCLINTRN} ullint.c +charint +charintliteral -expect 2

void:
	${LCLINTRN} void.c -expect 2

###
### New since 2.5q:
###

linked:
	${LCLINTR} linked.c -expect 4
	${LCLINTR} linked2.c -expect 3
	${LCLINTR} linked3.c -expect 5
	${LCLINTR} linked4.c -expect 6
	${LCLINTR} linked5.c -expect 4
	${LCLINTR} linked6.c -expect 4

freearray:
	${LCLINTR} freearray.c -expect 1

###
### Bugs fixed and new features since version 2.1b
###

tests2.2:
	@echo "  Note: expect difference in name of unclosed file."
	$(MAKE) -C tests2.2 -f Makefile-tests2.2.os2 LCLINT="$(LCLINTR)"

tests2.4:
	$(MAKE) -C tests2.4 -f Makefile-tests2.4.os2 LCLINT="$(LCLINTR)"

tests2.5:
	$(MAKE) -C tests2.5 LCLINT="$(LCLINTR)"

sizeoftest:
	@cd sizeoftest ; \
	$(LCLINTR) +arraybounds  +arrayboundsread sizeof.c

bufferTest:
	@cd bufferTest ; \
	$(LCLINTR) +arraybounds  +arrayboundsread test4.c test6.c

simplebufferConstraintTests:
	@cd simplebufferConstraintTests ; \
	$(LCLINTR) +arraybounds  +arrayboundsread m.c  sizeof.c  test3.c  test7.c

moreBufferTests:
	@cd moreBufferTests ; \
	$(LCLINTR) +arraybounds  +arrayboundsread  unrecogCall.c strrchr.c initialization.c simplifyTest.c strncatNotReallyGood.c strncatReallyGood.c

maxset:
	@cd maxset ; \
	$(LCLINTR) +arraybounds maxsetannotations.c; \
	$(LCLINTR) +arraybounds maxsetnoannotations.c -expect 1

globalbufferannotation:
	@cd globalbufferannotation ; \
	$(LCLINTR) +arraybounds  +arrayboundsread globalvariable.c

strchr:
	@cd strchr ; \
	$(LCLINTR) +arraybounds +arrayboundsread  strchr.c -expect 2

for:
	@cd for ; \
	$(LCLINTR)  +arraybounds  +arrayboundsread  for.c

metastate:
	@cd metastate ; \
	$(LCLINTR) -mts file file1.c -expect 4; \
	$(LCLINTR) -mts file file2.c -varuse -fcnuse -expect 2; \
	$(LCLINTR) -mts file file3.c -varuse -fcnuse -expect 2; \
	$(LCLINTR) -mts file file4.c -varuse -fcnuse -exportlocal -expect 1 ; \
	$(LCLINTR) -mts file file5.c -varuse -fcnuse -exportlocal -expect 4; \
	$(LCLINTR) -mts file file6.c -varuse -fcnuse -exportlocal -expect 2; \
	$(LCLINTR) -mts file filebad.c -expect 3; \
	$(LCLINTR) sockets.mts sockets.c -expect 3; \
	$(LCLINTR) sockets.mts sockets2.c -expect 2; \
	$(LCLINTR) -mts file struct.c -expect 1; \
	$(LCLINTR) -mts file nullbranch.c -expect 2; \
	$(LCLINTR) -mts file osd.c -expect 2

mergestate:
	@cd mergestate ; \
	$(LCLINTR) -mts taintednm taintednm.c -mustfree -exportlocal -expect 2; \
	$(LCLINTR) -mts tainted taintednm.c -mustfree -exportlocal -expect 4

tainted:
	@cd mergestate ; \
	$(LCLINTR) -mts tainted tainted.c -mustfree -exportlocal -expect 4; \
	$(LCLINTR) tainted-bad.mts tainted.xh tainted.c -mustfree -exportlocal -expect 9; \
	$(LCLINTR) -mts tainted tainted2.c -mustfree -exportlocal -expect 1; \
	$(LCLINTR) -mts tainted tainted3.c -mustfree -exportlocal -expect 1; \
	$(LCLINTR) -mts tainted tainted4.c -mustfree -exportlocal -expect 1; \
	$(LCLINTR) -mts tainted tainted5.c -mustfree -exportlocal; \
	$(LCLINTR) -mts tainted taintedmerge.c -mustfree -exportlocal -expect 3; \
	$(LCLINTR) -mts tainted taintedimplicit.c -mustfree -exportlocal -expect 1; \
	$(LCLINTR) -mts tainted sprintf.c -expect 2

fileio:
	@cd fileio ; \
	$(LCLINTR) -mts file -mts filerw filerw.c -expect 3; \
	$(LCLINTR) -mts file -mts filerw file.c -expect 3; \
	$(LCLINTR) -mts file filebranch.c

warnuse:
	@cd warnuse; \
	$(LCLINTR) warnuse.c -expect 4; \
	$(LCLINTR) warnuse.c -warnuse -expect 1; \
	$(LCLINTR) warnuse.c -warnuse +bufferoverflow -expect 1; \
	$(LCLINTR) warnuse.c -bufferoverflow -expect 2; \
	$(LCLINTR) warngets.c -expect 1

ensuresclauses:
	@cd ensuresclauses ; \
	${LCLINT} ensures.c +fcnconstraint


###
### Integration Tests
###

db1:
	setenv LCLINT '$(LCLINTRN)'; cd db1; $(MAKE) -e test


### evans 2000-12-22
### 2 errors are no longer reported, since eref is immutable.
### Need to clarify what it means for an object to be immutable;
### there should be 2 types with different storage requirements.

db2:
	setenv LCLINT '$(LCLINTRN)'; cd db2; $(MAKE) -e test

db3:
	setenv LCLINT '$(LCLINTRN)'; cd db3; $(MAKE) -e test

clean:
	-rm -f *~ #*# *.o *.lcs a.out 
	-cd db1 ; $(MAKE) clean
	-cd db2 ; $(MAKE) clean
	-cd db3 ; $(MAKE) clean