Dominic Chen | 184c624 | 2017-03-03 18:02:02 +0000 | [diff] [blame] | 1 | // RUN: %clang_analyze_cc1 -analyzer-checker=unix.MallocSizeof -verify %s |
Ted Kremenek | 0c28bc2 | 2014-10-19 07:30:55 +0000 | [diff] [blame] | 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 | |