From 9efd7055359e949ec38ff40ff988da4f97237113 Mon Sep 17 00:00:00 2001 From: Daniel Kroening Date: Tue, 19 Jun 2018 14:54:35 +0100 Subject: [PATCH] add model for ___errno for Solaris 11 --- src/ansi-c/library/errno.c | 11 +++++++++++ 1 file changed, 11 insertions(+) diff --git a/src/ansi-c/library/errno.c b/src/ansi-c/library/errno.c index 7c5a9bcbce0..e19ac3a6d1b 100644 --- a/src/ansi-c/library/errno.c +++ b/src/ansi-c/library/errno.c @@ -44,3 +44,14 @@ extern int *__errno(void) { return &__CPROVER_errno; } + +/* FUNCTION: ___errno */ + +// This has been spotted on Solaris + +__CPROVER_thread_local int __CPROVER_errno; + +extern int *___errno(void) +{ + return &__CPROVER_errno; +}