https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93367
--- Comment #4 from CVS Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by David Malcolm <dmalc...@gcc.gnu.org>: https://gcc.gnu.org/g:a0b935ac66bc9804b0864151e5f1bfde5ac1ddeb commit r10-6195-ga0b935ac66bc9804b0864151e5f1bfde5ac1ddeb Author: David Malcolm <dmalc...@redhat.com> Date: Thu Jan 23 17:46:12 2020 -0500 analyzer: avoid relying on system <assert.h> in testsuite (PR 93367) PR analyzer/93367 reports a testsuite failure in abort.c on hppa64-hp-hpux11.11 when detecting if the analyzer "knows" that the condition holds after the assert. The root cause is that the assertion failure function in that configuration's <assert.h> is not marked with __attribute__ ((__noreturn__)). This patch reworks the test to avoid <assert.h> in favor of a custom implementation of assert, so that the test demonstrates the idea without relying on properties of <assert.h>. gcc/testsuite/ChangeLog: PR analyzer/93367 * gcc.dg/analyzer/abort.c: Remove include of <assert.h>. Replace use of assert with a custom assertion implementation.