#399 duplicate error messages

[Rainer Müller]

with testsuite/tickets/399_spcDcl.prl the IMC complains:

399_spcDcl.prl:6:5: warning: FIXED(31) 'm' is never used by SPC
399_spcDcl.prl:9:1: warning: PROC ( FIXED(31), FIXED(31) ) 'p' is never used by SPC
399_spcDcl.prl:14:1: warning: PROC ( FIXED(31), FIXED(31) ) 'q' is never used by SPC
399_spcDcl.prl:6:5: warning: 'm' in module 'm' is never used
399_spcDcl.prl:9:1: warning: 'p' in module 'm' is never used
399_spcDcl.prl:14:1: warning: 'q' in module 'm' is never used

the seconds set of warnings seems to be obsolete

BTW:
the IMC should check if there are any TASKs defined and at least one task of type MAIN

[Rainer Müller]

the compiler must export the task SPC/DCL for the check of existing MAIN tasks

[Rainer Müller]

there is no source location if we have no main-task.

Thus the IMC should exit with the following message
error: no MAIN task defined

Th verifyArrotations-tool should become extended with error messages without source location

[Rainer Müller]

• IMC marks SPC/DCL entries as used, if they were reason for errors in order to eliminate duplicate error messages
• IMC checks for at least 1 MAIN task and complains without source location.
• errorChecker extended to treat plain error messages without filename:line:col for this type of message
• testsuite/build must be supplied with at least one MAIN task
• testsuite/build/000_empty.prl moved to verify/Annotations since there may not be a MAIN task

seams to work --> close ticket

[Rainer Müller]

• IMC marks SPC/DCL entries as used, if they were reason for errors in order to eliminate duplicate error messages
• compiler exports MAIN attribute for TASK declarations in the module-XML file
• IMC checks for at least 1 MAIN task and complains without source location.
• errorChecker extended to treat plain error messages without filename:line:col for this type of message
• testsuite/build must be supplied with at least one MAIN task
• testsuite/build/000_empty.prl moved to verify/Annotations since there may not be a MAIN task

seams to work --> close ticket