From: Alistair Leslie-Hughes leslie_alistair@hotmail.com
--- include/sal.h | 6 ++++++ 1 file changed, 6 insertions(+)
diff --git a/include/sal.h b/include/sal.h index d49f6308327..f30633e8a86 100644 --- a/include/sal.h +++ b/include/sal.h @@ -21,6 +21,7 @@
#define _Always_(exp)
+#define _Analysis_assume_(x) #define _Analysis_noreturn_
#define _At_(a, b) @@ -111,6 +112,8 @@ #define _Null_ #define _Null_terminated_
+#define _On_failure_(d) + #define _Out_ #define _Outptr_ #define _Out_bytecap_(count) @@ -145,6 +148,7 @@ #define _Out_opt_z_cap_x_(count) #define _Out_opt_z_cap_post_count_(count1, count2) #define _Out_ptrdiff_cap_(count) +#define _Out_range_(x, y) #define _Out_writes_(count) #define _Out_writes_all_(count) #define _Out_writes_bytes_(count) @@ -171,6 +175,7 @@ #define _Outptr_opt_ #define _Outptr_opt_result_buffer_(count) #define _Outptr_opt_result_maybenull_ +#define _Outptr_opt_result_maybenull_z_ #define _Outptr_opt_result_z_ #define _Outptr_result_buffer_(count) #define _Outptr_result_buffer_all_maybenull_(ptr) @@ -219,6 +224,7 @@ #define _Ret_opt_z_cap_(count) #define _Ret_range_(exp,exp2) #define _Ret_writes_bytes_maybenull_(count) +#define _Ret_writes_maybenull_(count) #define _Ret_writes_z_(count) #define _Ret_z_