Merge branch 'feature/andre/libc-posix-non-posix' into 'master'

synchronize with frama-c/frama-c!3944

See merge request frama-c/frama-clang!197

tests/stl/oracle/stl_system_error.err.oracle

-FRAMAC_SHARE/libc/signal.h:233:28: Expecting ';' after requires clause
+FRAMAC_SHARE/libc/signal.h:234:28: Expecting ';' after requires clause
 FRAMAC_SHARE/libc/wchar.h:55:5: No suitable candidate found for function valid_read_or_empty.
 FRAMAC_SHARE/libc/wchar.h:69:74: No suitable candidate found for function valid_read_or_empty.
 FRAMAC_SHARE/libc/wchar.h:80:73: No suitable candidate found for function valid_or_empty.

tests/stl/oracle/stl_system_error.res.oracle

@@ -1675,6 +1675,15 @@ int sigaction(int signum, struct sigaction const * restrict act,
 int sigprocmask(int how, sigset_t const * restrict set,
                 sigset_t * restrict oldset);
 
+/*@ requires valid_mask_or_null: sigmask ≡ \null ∨ \valid_read(sigmask);
+    ensures result_means_interrupted: \result ≡ -1;
+    ensures errno_set: __fc_errno ≡ 4;
+    assigns __fc_errno, \result;
+    assigns __fc_errno \from (indirect: sigmask);
+    assigns \result \from (indirect: sigmask);
+ */
+int sigsuspend(sigset_t const *sigmask);
+
 /*@ ensures result_ok_or_error: \result ≡ 0 ∨ \result ≡ -1;
     assigns \result;
     assigns \result \from (indirect: pid), (indirect: sig);