]> git.ipfire.org Git - thirdparty/gcc.git/commit
libcpp: Fix unsigned promotion for unevaluated divide by zero [PR112701]
authorLewis Hyatt <lhyatt@gmail.com>
Mon, 27 Nov 2023 17:08:41 +0000 (12:08 -0500)
committerLewis Hyatt <lhyatt@gmail.com>
Tue, 28 Nov 2023 02:19:31 +0000 (21:19 -0500)
commitce52f1f7074d96c4d9ce63b1169c11087757e926
treee182db7b9aa9e582133eea8b56f4a5a1e8b72452
parent9c16ca93641ad460a576a9ed7daf2aadf596193c
libcpp: Fix unsigned promotion for unevaluated divide by zero [PR112701]

When libcpp encounters a divide by zero while processing a constant
expression "x/y", it returns "x" as a fallback. The value of the fallback is
not normally important, since an error will be generated anyway, but if the
expression appears in an unevaluated context, such as "0 ? 0/0u : -1", then
there will be no error, and the fallback value will be meaningful to the
extent that it may cause promotion from signed to unsigned of an operand
encountered later. As the PR notes, libcpp does not do the unsigned
promotion correctly in this case; fix it by making the fallback return value
unsigned as necessary.

libcpp/ChangeLog:

PR preprocessor/112701
* expr.cc (num_div_op): Set unsignedp appropriately when returning a
stub value for divide by 0.

gcc/testsuite/ChangeLog:

PR preprocessor/112701
* gcc.dg/cpp/expr.c: Add additional tests to cover divide by 0 in an
unevaluated context, where the unsignedness still matters.
gcc/testsuite/gcc.dg/cpp/expr.c
libcpp/expr.cc