j017b.c.ref

j017b.c:7:2: error: Conversion to integer from float outside the range that can be represented.

    Undefined behavior (UB-CCV3):
        see C11 section 6.3.1.4:1 http://rvdoc.org/C11/6.3.1.4
        see C11 section J.2:1 item 17 http://rvdoc.org/C11/J.2
        see CERT-C section FLP34-C http://rvdoc.org/CERT-C/FLP34-C
        see MISRA-C section 8.1:3 http://rvdoc.org/MISRA-C/8.1

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