Merge pull request diffblue#2365 from diffblue/solaris_errno

add model for ___errno for Solaris 11

Author: Daniel Kroening

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;
+}