C Backend generates negation of negative integers as predecrement #968
Labels
bugzilla
Issues migrated from bugzilla
compile-fail
Use [accepts-invalid] and [rejects-valid] instead
Extended Description
The C Backend takes the (soon to be) attached test case and miscompiles it into
invalid C code.
Specifically, in the case where a negative integer is negated, the C Backend
generates a minus for the negation and then another minus for the integer. This
"minus minus" becomes the C pre-decrement operator, which is incorrect.
i.e. we generate --65535 instead of -(-65535).
The text was updated successfully, but these errors were encountered: