In the following code, the code generator recognizes that the
structure fields s.a
and s.b
are
constants.
If a field of a structure is assigned inside a control flow
construct, the code generator does not recognize that s.a
and s.b
are
constant. Consider the following code:
If variable-sizing is enabled, y
is treated
as a variable-size array. If variable-sizing is disabled, y
,
the code generator reports an error.