diff options
| author | Jonathan Wakely <jwakely@redhat.com> | 2019-07-22 17:53:27 +0100 |
|---|---|---|
| committer | Jonathan Wakely <redi@gcc.gnu.org> | 2019-07-22 17:53:27 +0100 |
| commit | 281ab2fbff7398643352e86fcddc83098efd6310 (patch) | |
| tree | 5e500b94f761c64dfe86debc7cf2745280099424 /gcc/cgraph.c | |
| parent | 462e6f9a932a44ca73715dc5c2960e5b332f63f7 (diff) | |
| download | gcc-281ab2fbff7398643352e86fcddc83098efd6310.zip gcc-281ab2fbff7398643352e86fcddc83098efd6310.tar.gz gcc-281ab2fbff7398643352e86fcddc83098efd6310.tar.bz2 | |
Change std::ceil2 to be undefined if the result can't be represented
* include/std/bit (__ceil2): Make unrepresentable results undefined,
as per P1355R2. Add debug assertion. Perform one left shift, not two,
so that out of range values cause undefined behaviour. Ensure that
shift will still be undefined if left operand is promoted.
* testsuite/26_numerics/bit/bit.pow.two/ceil2.cc: Replace checks for
unrepresentable values with checks that they are not core constant
expressions.
* testsuite/26_numerics/bit/bit.pow.two/ceil2_neg.cc: New test.
From-SVN: r273705
Diffstat (limited to 'gcc/cgraph.c')
0 files changed, 0 insertions, 0 deletions