http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59409
--- Comment #11 from H.J. Lu <hjl.tools at gmail dot com> --- latch execution count can be an expression like "if (b)" in gcc.dg/torture/pr59058.c. Will such an expression be possible negative at run-time?
