Coder Assumptions for 'Blinky'

List of assumptions that you can check and expected results for selected target environment. For more information see, Verification of Code Generation Assumptions.

C Language Configuration for ARM Compatible->ARM Cortex Target Hardware

BitPerChar 8
BitPerShort 16
BitPerInt 32
BitPerLong 32
BitPerLongLong 64
BitPerFloat 32
BitPerDouble 64
BitPerPointer 32
BitPerSizeT 32
BitPerPtrDiffT 32

Endianess LittleEndian
Shift right for signed integer is arithmetic shift True
Signed integer division rounds to Zero

C Language Standard

Zero initialization code has been optimized for model 'Blinky'.

Initial value of a global integer variable is zero True

If the assumption is not correct, remove the optimization through the Configuration Parameters > Code Generation > Optimization settings. Alternatively, configure your target environment to make the assumption hold.

Floating-Point Numbers

Code generation is configured to support floating-point numbers, therefore your target environment might perform subnormal number calculations.

Flush-to-zero computed subnormal values (FTZ) False
Flush-to-zero incoming subnormal values (DAZ) False

If the assumptions are not correct, subnormal numbers might cause mismatches between model and generated code simulation results. For more information see, Subnormal Number Performance.