https://gcc.gnu.org/bugzilla/show_bug.cgi?id=128471
Vineet Gupta <vineetg at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |vineetg at gcc dot gnu.org
--- Comment #3 from Vineet Gupta <vineetg at gcc dot gnu.org> ---
What kernel are you running against. v7.4-rc1 landed Eduard's Scalar Evolution
for loops, which is a big change/improvement to the verifier, although I'm not
sure if that helps this case. It would be nice, if possible, to test it anyway
for any regressions to systemd.