From e5dd70708596ae51455a0ffa086a00c5b29f8583 Mon Sep 17 00:00:00 2001 From: patrick Date: Mon, 3 Aug 2020 14:31:31 +0000 Subject: Import LLVM 10.0.0 release including clang, lld and lldb. ok hackroom tested by plenty --- .../docs/analyzer/checkers/unix_malloc_example.c | 30 ++++++++++++++++++++++ 1 file changed, 30 insertions(+) create mode 100644 gnu/llvm/clang/docs/analyzer/checkers/unix_malloc_example.c (limited to 'gnu/llvm/clang/docs/analyzer/checkers/unix_malloc_example.c') diff --git a/gnu/llvm/clang/docs/analyzer/checkers/unix_malloc_example.c b/gnu/llvm/clang/docs/analyzer/checkers/unix_malloc_example.c new file mode 100644 index 00000000000..68c5a4a8f1c --- /dev/null +++ b/gnu/llvm/clang/docs/analyzer/checkers/unix_malloc_example.c @@ -0,0 +1,30 @@ + +void test() { + int *p = malloc(1); + free(p); + free(p); // warn: attempt to free released memory +} + +void test() { + int *p = malloc(sizeof(int)); + free(p); + *p = 1; // warn: use after free +} + +void test() { + int *p = malloc(1); + if (p) + return; // warn: memory is never released +} + +void test() { + int a[] = { 1 }; + free(a); // warn: argument is not allocated by malloc +} + +void test() { + int *p = malloc(sizeof(char)); + p = p - 1; + free(p); // warn: argument to free() is offset by -4 bytes +} + -- cgit v1.2.3-59-g8ed1b