# Coder Assumptions for 'automats'

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 MATLAB Host Target Hardware

BitPerChar | 8
BitPerShort | 16
BitPerInt | 32
BitPerLong | 32
BitPerLongLong | 64
BitPerFloat | 32
BitPerDouble | 64
BitPerPointer | 64
BitPerSizeT | 64
BitPerPtrDiffT | 64
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 'automats'.
Initial value of a global integer variable is zero | True
Initial value of each element of dynamically allocated int array 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.