CSRC = uentry.c cprim.c macrocache.c qual.c qtype.c stateClause.c \
stateClauseList.c ctype.c cvar.c clabstract.c idDecl.c clause.c \
globalsClause.c modifiesClause.c warnClause.c functionClause.c \
- functionClauseList.c metaStateConstraint.c metaStateExpression.c \
- metaStateSpecifier.c
+ functionClauseList.c metaStateConstraint.c metaStateConstraintList.c metaStateExpression.c \
+ metaStateSpecifier.c functionConstraint.c
LCLINTSRC = exprNode.c exprChecks.c llmain.c
CHECKSRC = structNames.c transferChecks.c varKinds.c nameChecks.c
GRAMSRC = cgrammar.c cscanner.c mtscanner.c mtreader.c mtgrammar.c
OVERFLOWCHSRC = \
+ constraintGeneration.c \
constraintTerm.c \
constraintExprData.c \
constraintExpr.c \
constraint.c \
constraintList.c \
constraintResolve.c \
- constraintGeneration.c \
constraintOutput.c \
- forjunk.c
+ loopHeuristics.c
GENERALSRC = \
exprData.c \