84 #define __bos_trivially_ge_mul(bos_val, size, count) \  argument
85   __bos_dynamic_check_impl_and(bos_val, >=, (size) * (count), \
86                                !__unsafe_check_mul_overflow(size, count))
89 size_t fread(void* const _Nonnull __pass_object_size0 buf, size_t size, size_t count, FILE* _Nonnul…  in fread()  argument
91         __clang_error_if(__unsafe_check_mul_overflow(size, count),  in fread()
93         __clang_error_if(__bos_unevaluated_lt(__bos0(buf), size * count),  in fread()
98     if (!__bos_trivially_ge_mul(bos, size, count)) {  in fread()
99         return __fread_chk(buf, size, count, stream, bos);  in fread()
102     return __call_bypassing_fortify(fread)(buf, size, count, stream);  in fread()
106 size_t fwrite(const void* const _Nonnull __pass_object_size0 buf, size_t size, size_t count, FILE* …  in fwrite()  argument
108         __clang_error_if(__unsafe_check_mul_overflow(size, count),  in fwrite()
110         __clang_error_if(__bos_unevaluated_lt(__bos0(buf), size * count),  in fwrite()
115     if (!__bos_trivially_ge_mul(bos, size, count)) {  in fwrite()
116         return __fwrite_chk(buf, size, count, stream, bos);  in fwrite()
119     return __call_bypassing_fortify(fwrite)(buf, size, count, stream);  in fwrite()