diff options
| author | David Malcolm <dmalcolm@redhat.com> | 2020-01-23 17:46:12 -0500 |
|---|---|---|
| committer | David Malcolm <dmalcolm@redhat.com> | 2020-01-23 20:47:34 -0500 |
| commit | a0b935ac66bc9804b0864151e5f1bfde5ac1ddeb (patch) | |
| tree | 162e8a14cf0e4b482bf62521ec94e7179393820d /libcpp | |
| parent | 472dc648ce3e7661762931d584d239611ddca964 (diff) | |
| download | gcc-a0b935ac66bc9804b0864151e5f1bfde5ac1ddeb.zip gcc-a0b935ac66bc9804b0864151e5f1bfde5ac1ddeb.tar.gz gcc-a0b935ac66bc9804b0864151e5f1bfde5ac1ddeb.tar.bz2 | |
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.
Diffstat (limited to 'libcpp')
0 files changed, 0 insertions, 0 deletions