diff options
| author | jvoisin | 2023-08-21 17:11:41 +0200 |
|---|---|---|
| committer | jvoisin | 2023-08-21 17:11:41 +0200 |
| commit | 254471b1c96c2ab34a043350519aea37a0862b9b (patch) | |
| tree | 0e49294c91d038aab7ea4e530d464054f062274e /include | |
| parent | d343ba0b0f7554cad5141cd1b7a3a85e0446b950 (diff) | |
Remove some todo in __bmo's implementation
Diffstat (limited to 'include')
| -rw-r--r-- | include/fortify-headers.h | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/include/fortify-headers.h b/include/fortify-headers.h index b1e89c3..88a0875 100644 --- a/include/fortify-headers.h +++ b/include/fortify-headers.h | |||
| @@ -101,10 +101,12 @@ | |||
| 101 | 101 | ||
| 102 | #endif /* __has_attribute */ | 102 | #endif /* __has_attribute */ |
| 103 | 103 | ||
| 104 | |||
| 105 | /* TODO(jvoisin) Figure a nice way to make use of __builtin_mul_overflow while ignoring the result. */ | ||
| 106 | /* TODO(jvoisin) Make use of C23's stdckdint header: https://gustedt.gitlabpages.inria.fr/c23-library/#stdckdint */ | ||
| 107 | /* | 104 | /* |
| 105 | * We're not making use of C23's <stdckdint.h> since: | ||
| 106 | * - there is no elegant way to make it ignore the results. | ||
| 107 | * - it's tricky to make it type-agnostic when we don't care about the result. | ||
| 108 | * We're not making use of __builtin_mul_overflow for the same reasons. | ||
| 109 | * | ||
| 108 | * See: | 110 | * See: |
| 109 | * - https://gcc.gnu.org/onlinedocs/gcc/Integer-Overflow-Builtins.html | 111 | * - https://gcc.gnu.org/onlinedocs/gcc/Integer-Overflow-Builtins.html |
| 110 | * - https://clang.llvm.org/docs/LanguageExtensions.html#checked-arithmetic-builtins | 112 | * - https://clang.llvm.org/docs/LanguageExtensions.html#checked-arithmetic-builtins |
