82 #define __bos_trivially_ge_mul(bos_val, size, count) \  argument
83   __bos_dynamic_check_impl_and(bos_val, >=, (size) * (count), \
84                                !__unsafe_check_mul_overflow(size, count))
87 size_t fread(void* const __pass_object_size0 buf, size_t size, size_t count, FILE* stream)  in fread()  argument
89         __clang_error_if(__unsafe_check_mul_overflow(size, count),  in fread()
91         __clang_error_if(__bos_unevaluated_lt(__bos0(buf), size * count),  in fread()
96     if (!__bos_trivially_ge_mul(bos, size, count)) {  in fread()
97         return __fread_chk(buf, size, count, stream, bos);  in fread()
100     return __call_bypassing_fortify(fread)(buf, size, count, stream);  in fread()
104 size_t fwrite(const void* const __pass_object_size0 buf, size_t size, size_t count, FILE* stream)  in fwrite()  argument
106         __clang_error_if(__unsafe_check_mul_overflow(size, count),  in fwrite()
108         __clang_error_if(__bos_unevaluated_lt(__bos0(buf), size * count),  in fwrite()
113     if (!__bos_trivially_ge_mul(bos, size, count)) {  in fwrite()
114         return __fwrite_chk(buf, size, count, stream, bos);  in fwrite()
117     return __call_bypassing_fortify(fwrite)(buf, size, count, stream);  in fwrite()