Most statements in GIMPLE are assignment statements, represented by
GIMPLE_ASSIGN. No other C expressions can appear at statement level;
a reference to a volatile object is converted into a
GIMPLE_ASSIGN.
There are also several varieties of complex statements.