PR modula2/114548 gm2 fails to identify variable in a const expression

PR modula2/114548 gm2 fails to identify variable in a const expression

This patch introduces stricter checking within standard procedure
functions which detect whether paramaters are variable when used
in a const expression.

gcc/m2/ChangeLog:

	PR modula2/114548
	* gm2-compiler/M2Quads.mod (ConvertToAddress): Pass
	procedure, false parameters to BuildConvertFunction.
	(PushOne): Pass procedure, true parameters to
	BuildConvertFunction.
	Remove usused parameter internal.
	(BuildPseudoBy): Remove parameter to PushOne.
	(BuildIncProcedure): Ditto.
	(BuildDecProcedure): Ditto.
	(BuildFunctionCall): Add ConstExpr parameter to
	BuildPseudoFunctionCall.
	(BuildConstFunctionCall): Add procedure and true to
	BuildConvertFunction.
	(BuildPseudoFunctionCall): Add ConstExpr parameter.
	Pass ProcSym and ConstExpr to BuildLengthFunction,
	BuildConvertFunction, BuildOddFunction, BuildAbsFunction,
	BuildCapFunction, BuildValFunction, BuildChrFunction,
	BuildOrdFunction, BuildIntFunction, BuildTruncFunction,
	BuildFloatFunction, BuildAddAdrFunction, BuildSubAdrFunction,
	BuildDifAdrFunction, BuildCastFunction, BuildReFunction,
	BuildImFunction and BuildCmplxFunction.
	(BuildAddAdrFunction): Add ProcSym, ConstExpr parameters and
	check for constant parameters.
	(BuildSubAdrFunction): Ditto.
	(BuildDifAdrFunction): Ditto.
	(ConstExprError): Ditto.
	(BuildLengthFunction): Ditto.
	(BuildOddFunction): Ditto.
	(BuildAbsFunction): Ditto.
	(BuildCapFunction): Ditto.
	(BuildChrFunction): Ditto.
	(BuildOrdFunction): Ditto.
	(BuildIntFunction): Ditto.
	(BuildValFunction): Ditto.
	(BuildCastFunction): Ditto.
	(BuildConvertFunction): Ditto.
	(BuildTruncFunction): Ditto.
	(BuildFloatFunction): Ditto.
	(BuildReFunction): Ditto.
	(BuildImFunction): Ditto.
	(BuildCmplxFunction): Ditto.

gcc/testsuite/ChangeLog:

	PR modula2/114548
	* gm2/iso/const/fail/expression.mod: New test.
	* gm2/iso/const/fail/iso-const-fail.exp: New test.
	* gm2/iso/const/fail/testabs.mod: New test.
	* gm2/iso/const/fail/testaddadr.mod: New test.
	* gm2/iso/const/fail/testcap.mod: New test.
	* gm2/iso/const/fail/testcap2.mod: New test.
	* gm2/iso/const/fail/testchr.mod: New test.
	* gm2/iso/const/fail/testchr2.mod: New test.
	* gm2/iso/const/fail/testcmplx.mod: New test.
	* gm2/iso/const/fail/testfloat.mod: New test.
	* gm2/iso/const/fail/testim.mod: New test.
	* gm2/iso/const/fail/testint.mod: New test.
	* gm2/iso/const/fail/testlength.mod: New test.
	* gm2/iso/const/fail/testodd.mod: New test.
	* gm2/iso/const/fail/testord.mod: New test.
	* gm2/iso/const/fail/testre.mod: New test.
	* gm2/iso/const/fail/testtrunc.mod: New test.
	* gm2/iso/const/fail/testval.mod: New test.
	* gm2/iso/const/pass/constbool.mod: New test.
	* gm2/iso/const/pass/constbool2.mod: New test.
	* gm2/iso/const/pass/constbool3.mod: New test.

Signed-off-by: Gaius Mulley <gaiusmod2@gmail.com>