analyzer: fix 'errno' on Solaris and OS X [PR107807]
authorDavid Malcolm <dmalcolm@redhat.com>
Tue, 22 Nov 2022 22:29:21 +0000 (17:29 -0500)
committerDavid Malcolm <dmalcolm@redhat.com>
Tue, 22 Nov 2022 22:29:21 +0000 (17:29 -0500)
commit7c9717fcb5cf94ce1e7ef5c903058adf9980ff28
tree9e72e9f6a5423412cd7714ee825fa2ad68c6fae1
parent6bd31b33daa3c7635d886ff2cebd915748db2084
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 <dmalcolm@redhat.com>
gcc/analyzer/region-model-impl-calls.cc
gcc/testsuite/gcc.dg/analyzer/errno-___errno.c [new file with mode: 0644]
gcc/testsuite/gcc.dg/analyzer/errno-__error.c [new file with mode: 0644]
gcc/testsuite/gcc.dg/analyzer/errno-global-var.c [new file with mode: 0644]