[Bug middle-end/111446] genmatch should warn/error out on recusive match patterns
rguenth at gcc dot gnu.org
gcc-bugzilla@gcc.gnu.org
Mon Sep 18 09:21:27 GMT 2023
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111446
--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
Note originally I intended to have (match (...)) inlined in the match IL
itself,
so any such checking should not only check for direct recursion but indirect
as well - all SCCs are unsupported.
(match (one @0)
(negate @0))
(match (zero @0)
(negate (one @0)))
(match (one @0)
(negate (zero @0)))
More information about the Gcc-bugs
mailing list