Description
We fixed similar compilation warnings several times(SPARK-29291, SPARK-33352 and SPARK-35526), in order to prevent the recurrence of similar problems, add a compile arg to convert `procedure syntax` related compile warnings to compile errors.