diff options
| author | bobsayshilol <bobsayshilol@live.co.uk> | 2024-10-27 20:11:42 +0000 |
|---|---|---|
| committer | bobsayshilol <bobsayshilol@live.co.uk> | 2024-10-27 22:02:34 +0000 |
| commit | c1496ab6c055974ac401865bdca87a4fc0a76ea3 (patch) | |
| tree | fd7a6f33af78b224030517c634cdfdc573dab985 /src/string.cpp | |
| parent | 4f800a7fdaaa430226108e3bb2bf9fafbda41be8 (diff) | |
Fix passing nullptr to args marked as non-null
libstdc++'s |memcpy| and |memset| both state that their inputs should
never be a nullptr since this matches the C spec. Some compilers act on
these hints, so we shouldn't unconditionally call these as it would
signal to the compiler that they can't be nullptrs.
As an example, the following code will always call |do_something()|
when compiled with optimisations since GCC version 4.9:
```
void clear(void *ptr, int size) {
memset(ptr, 0, size);
}
void example(void *ptr, int size) {
clear(ptr, size);
if (ptr != nullptr) do_something();
}
```
Diffstat (limited to 'src/string.cpp')
| -rw-r--r-- | src/string.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/string.cpp b/src/string.cpp index 3c7d96934..190b69041 100644 --- a/src/string.cpp +++ b/src/string.cpp @@ -156,6 +156,7 @@ gb_internal isize string_index_byte(String const &s, u8 x) { gb_internal gb_inline bool str_eq(String const &a, String const &b) { if (a.len != b.len) return false; + if (a.len == 0) return true; return memcmp(a.text, b.text, a.len) == 0; } gb_internal gb_inline bool str_ne(String const &a, String const &b) { return !str_eq(a, b); } |