diffblue-cbmc/regression/cbmc/enum8
Michael Tautschnig 622bc67f74 Move promotion rule application to C front-end
The front-ends handle type conversion when doing arithmetic over enum types. The
case of an enum tag is not expected in goto-program conversion. That, however,
was only the case for some operators. Made the C front-end properly handle all
assignment operators.

While at it, also support decrement operators over complex numbers. We already
did so for increment, decrement just requires the same special case.
2019-02-27 15:17:42 +00:00
..
main.c Move promotion rule application to C front-end 2019-02-27 15:17:42 +00:00
test.desc Move promotion rule application to C front-end 2019-02-27 15:17:42 +00:00