Home | History | Annotate | Download | only in Analysis
      1 // RUN: %clang_cc1 -analyze -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