| 1 | // RUN: %clang_analyze_cc1 -analyzer-checker=unix.MallocSizeof -verify %s |
|---|
| 2 | |
|---|
| 3 | #include <stddef.h> |
|---|
| 4 | |
|---|
| 5 | void *malloc(size_t size); |
|---|
| 6 | void *calloc(size_t nmemb, size_t size); |
|---|
| 7 | void *realloc(void *ptr, size_t size); |
|---|
| 8 | void free(void *ptr); |
|---|
| 9 | |
|---|
| 10 | struct A {}; |
|---|
| 11 | struct B {}; |
|---|
| 12 | |
|---|
| 13 | void foo(unsigned int unsignedInt, unsigned int readSize) { |
|---|
| 14 | // Sanity check the checker is working as expected. |
|---|
| 15 | A* a = static_cast<A*>(malloc(sizeof(int))); // expected-warning {{Result of 'malloc' is converted to a pointer of type 'struct A', which is incompatible with sizeof operand type 'int'}} |
|---|
| 16 | free(a); |
|---|
| 17 | } |
|---|
| 18 | |
|---|
| 19 | void bar() { |
|---|
| 20 | A *x = static_cast<A*>(calloc(10, sizeof(void*))); // expected-warning {{Result of 'calloc' is converted to a pointer of type 'struct A', which is incompatible with sizeof operand type 'void *'}} |
|---|
| 21 | // sizeof(void*) is compatible with any pointer. |
|---|
| 22 | A **y = static_cast<A**>(calloc(10, sizeof(void*))); // no-warning |
|---|
| 23 | free(x); |
|---|
| 24 | free(y); |
|---|
| 25 | } |
|---|
| 26 | |
|---|
| 27 | |
|---|