[Bug analyzer/93367] FAIL: gcc.dg/analyzer/abort.c (test for warnings, line 71)

[dmalcolm at gcc dot gnu.org]

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.