https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93367
David Malcolm changed:
What|Removed |Added
Status|ASSIGNED|RESOLVED
Resolution|---
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93367
--- Comment #4 from CVS Commits ---
The master branch has been updated by David Malcolm :
https://gcc.gnu.org/g:a0b935ac66bc9804b0864151e5f1bfde5ac1ddeb
commit r10-6195-ga0b935ac66bc9804b0864151e5f1bfde5ac1ddeb
Author: David Malcolm
Date:
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93367
David Malcolm changed:
What|Removed |Added
Status|WAITING |ASSIGNED
--- Comment #3 from David
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93367
--- Comment #2 from dave.anglin at bell dot net ---
On 2020-01-21 9:55 p.m., dmalcolm at gcc dot gnu.org wrote:
> What's the definition of assert for this system?
extern void __assert(char *, char *, int);
# if defined(__cplusplus)
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93367
Martin Liška changed:
What|Removed |Added
Status|UNCONFIRMED |WAITING
Last reconfirmed|
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93367
--- Comment #1 from David Malcolm ---
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