Re: [PATCH] match.pd: Disallow side-effects in GENERIC for non-COND_EXPR to COND_EXPR simplifications [PR93744]

2020-02-15 Thread Richard Biener
On February 15, 2020 7:09:51 AM GMT+01:00, Jakub Jelinek wrote: >Hi! > >As the following testcases show (the first one reported, last two >found by code inspection), we need to disallow side-effects >in simplifications that turn some unconditional expression into >conditional >one. From my

[PATCH] match.pd: Disallow side-effects in GENERIC for non-COND_EXPR to COND_EXPR simplifications [PR93744]

2020-02-14 Thread Jakub Jelinek
Hi! As the following testcases show (the first one reported, last two found by code inspection), we need to disallow side-effects in simplifications that turn some unconditional expression into conditional one. From my little understanding of genmatch.c, it is able to automatically disallow side