diff options
| author | jvoisin | 2024-03-08 16:07:57 +0100 |
|---|---|---|
| committer | jvoisin | 2024-03-08 16:28:52 +0100 |
| commit | 140cffbe84a08669d67c3257258d2bb70ff29c3b (patch) | |
| tree | 54a70b70f6fbe96840fa5fc9eb294c74f6855ad9 /tests/test_memmove_null_dst.c | |
| parent | 2f60f255af5d615ca31d554035fe8268ecc9825c (diff) | |
Add some NULL-pointers checks
See:
- https://www.imperialviolet.org/2016/06/26/nonnull.html
- https://davidben.net/2024/01/15/empty-slices.html
Diffstat (limited to 'tests/test_memmove_null_dst.c')
| -rw-r--r-- | tests/test_memmove_null_dst.c | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/tests/test_memmove_null_dst.c b/tests/test_memmove_null_dst.c new file mode 100644 index 0000000..9455a5a --- /dev/null +++ b/tests/test_memmove_null_dst.c | |||
| @@ -0,0 +1,16 @@ | |||
| 1 | #include "common.h" | ||
| 2 | |||
| 3 | #include <string.h> | ||
| 4 | |||
| 5 | int main(int argc, char** argv) { | ||
| 6 | #ifndef __GNUC__ | ||
| 7 | char buffer[12] = {0}; | ||
| 8 | |||
| 9 | CHK_FAIL_START | ||
| 10 | memmove(buffer, NULL, 0); | ||
| 11 | CHK_FAIL_END | ||
| 12 | |||
| 13 | puts(buffer); | ||
| 14 | #endif | ||
| 15 | return ret; | ||
| 16 | } | ||
