j503a.c.ref

j503a.c:2:2: error: Arrays must have positive length.

    Constraint violation (CV-CTI2):
        see C11 section 6.7.6.2:1 http://rvdoc.org/C11/6.7.6.2
        see CERT-C section MSC40-C http://rvdoc.org/CERT-C/MSC40-C
        see MISRA-C section 8.1:1 http://rvdoc.org/MISRA-C/8.1

Translation failed (kcc_config dumped). To repeat, run this command in directory unit-fail-compilation: