[Bug analyzer/107807] gcc.dg/analyzer/errno-1.c FAILs

2022-11-28 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107807

David Malcolm  changed:

   What|Removed |Added

 Status|WAITING |RESOLVED
 Resolution|--- |FIXED

--- Comment #8 from David Malcolm  ---
Thanks; marking this as resolved.

[Bug analyzer/107807] gcc.dg/analyzer/errno-1.c FAILs

2022-11-27 Thread ro at CeBiTec dot Uni-Bielefeld.DE via Gcc-bugs 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107807

--- Comment #7 from ro at CeBiTec dot Uni-Bielefeld.DE  ---
> --- Comment #6 from Rainer Orth  ---
> It did in last night's Solaris bootstraps (sparc and x86).  macOS bootstraps
> are
> super-slow, so I'll wait for tomorrow night's weekly bootstraps there and
> report
> back when they are finished.

The Mac OS X 10.7 have finished now and as expected, the failures are gone.

[Bug analyzer/107807] gcc.dg/analyzer/errno-1.c FAILs

2022-11-24 Thread ro at gcc dot gnu.org via Gcc-bugs 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107807

--- Comment #6 from Rainer Orth  ---
It did in last night's Solaris bootstraps (sparc and x86).  macOS bootstraps
are
super-slow, so I'll wait for tomorrow night's weekly bootstraps there and
report
back when they are finished.

Thanks.

[Bug analyzer/107807] gcc.dg/analyzer/errno-1.c FAILs

2022-11-22 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107807

David Malcolm  changed:

   What|Removed |Added

 Status|ASSIGNED|WAITING

--- Comment #5 from David Malcolm  ---
Did the above patch fix things?

[Bug analyzer/107807] gcc.dg/analyzer/errno-1.c FAILs

2022-11-22 Thread cvs-commit at gcc dot gnu.org via Gcc-bugs 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107807

--- Comment #4 from CVS Commits  ---
The master branch has been updated by David Malcolm :

https://gcc.gnu.org/g:7c9717fcb5cf94ce1e7ef5c903058adf9980ff28

commit r13-4247-g7c9717fcb5cf94ce1e7ef5c903058adf9980ff28
Author: David Malcolm 
Date:   Tue Nov 22 17:29:21 2022 -0500

analyzer: fix 'errno' on Solaris and OS X [PR107807]

gcc/analyzer/ChangeLog:
PR analyzer/107807
* region-model-impl-calls.cc (register_known_functions): Register
"___errno" and "__error" as synonyms  for "__errno_location".

gcc/testsuite/ChangeLog:
PR analyzer/107807
* gcc.dg/analyzer/errno-___errno.c: New test.
* gcc.dg/analyzer/errno-__error.c: New test.
* gcc.dg/analyzer/errno-global-var.c: New test.

Signed-off-by: David Malcolm

[Bug analyzer/107807] gcc.dg/analyzer/errno-1.c FAILs

2022-11-22 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107807

David Malcolm  changed:

   What|Removed |Added

 Ever confirmed|0   |1
 Status|UNCONFIRMED |ASSIGNED
   Last reconfirmed||2022-11-22

--- Comment #3 from David Malcolm  ---
Thanks; am working on a fix.

[Bug analyzer/107807] gcc.dg/analyzer/errno-1.c FAILs

2022-11-22 Thread ro at CeBiTec dot Uni-Bielefeld.DE via Gcc-bugs 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107807

--- Comment #2 from ro at CeBiTec dot Uni-Bielefeld.DE  ---
> --- Comment #1 from David Malcolm  ---

> I've tested errno-1.c with glibc's errno.h, and with a simple "extern int
> errno;".
>
> What does  look like on your machine?  In particular, how is "errno"
> defined/declared?  Thanks.

It's a bit more complicated here, boiling down to

extern int *___errno(void) __attribute__((__const__));
#define errno (*(___errno()))

You will find something similar e.g. on Mac OS X 10.7, btw.:

extern int * __error(void);
#define errno (*__error())

[Bug analyzer/107807] gcc.dg/analyzer/errno-1.c FAILs

2022-11-22 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107807

--- Comment #1 from David Malcolm  ---
Thanks for filing this bug; sorry about the test failures.

I've tested errno-1.c with glibc's errno.h, and with a simple "extern int
errno;".

What does  look like on your machine?  In particular, how is "errno"
defined/declared?  Thanks.

[Bug analyzer/107807] gcc.dg/analyzer/errno-1.c FAILs

2022-11-22 Thread ro at gcc dot gnu.org via Gcc-bugs 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107807

Rainer Orth  changed:

   What|Removed |Added

   Target Milestone|--- |13.0