blob: 8f80b2b76f2938ef0c5e02cc310033252a4cf3a3 [file] [log] [blame]
Anna Zaks4b81e742012-03-29 23:26:54 +00001// RUN: %clang_cc1 -analyze -analyzer-checker=core,experimental.deadcode.UnreachableCode,experimental.core.CastSize,unix.Malloc -analyzer-store=region -verify %s
2
3typedef __typeof(sizeof(int)) size_t;
4void *malloc(size_t);
5void free(void *);
6void *realloc(void *ptr, size_t size);
7void *calloc(size_t nmemb, size_t size);
8
9// Test for radar://11110132.
10struct Foo {
11 mutable void* m_data;
12 Foo(void* data) : m_data(data) {}
13};
14Foo aFunction() {
15 return malloc(10);
16}