https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93367
--- Comment #1 from David Malcolm <dmalcolm at gcc dot gnu.org> --- Thanks for filing this. The failing test is a: __analyzer_eval (i < 10); after a: assert (i < 10); which expects TRUE, but is emitting UNKNOWN. What's the definition of assert for this system? The test is assuming that the assertion handler has __attribute__ ((__noreturn__)), which I'm guessing isn't the case here. I guess I could rewrite the test to use a custom assert macro, or skip the test on certain targets, etc.
