casts.c revision b1080ed5016db4466fbe69d771c05672de39ec3e
1// RUN: clang-cc -analyze -checker-cfref -analyzer-store=region --verify %s 2 3// Test if the 'storage' region gets properly initialized after it is cast to 4// 'struct sockaddr *'. 5 6#include <sys/socket.h> 7void f(int sock) { 8 struct sockaddr_storage storage; 9 struct sockaddr* sockaddr = (struct sockaddr*)&storage; 10 socklen_t addrlen = sizeof(storage); 11 getsockname(sock, sockaddr, &addrlen); 12 switch (sockaddr->sa_family) { // no-warning 13 default: 14 ; 15 } 16} 17