On Sun, 6 Jan 2019, Tom de Vries wrote:
> Hi,
>
> Comments welcome.
I find it harder to understand the gcc_assert_implies variant...
maybe because I'm not used to seeing it.
Richard.
> Thanks,
> - Tom
>
--
Richard Biener
SUSE LINUX GmbH, GF: Felix Imendoerffer, Jane Smithard, Graham Norton
Hi,
Comments welcome.
Thanks,
- Tom
[RFC] Add gcc_assert_implies
[ Following up on "Fix bug in simplify_ternary_operation" (
https://gcc.gnu.org/ml/gcc-patches/2017-11/msg01699.html ). ]
The C/C++ languages do not support the implication logical operator a -> b, so
we typically
