| Zhongxing Xu | 2fc3259 | 2009-04-29 01:50:12 +0000 | [diff] [blame] | 1 | // RUN: clang-cc -analyze -checker-cfref -analyzer-store=region --verify %s |
| Zhongxing Xu | 2fc3259 | 2009-04-29 01:50:12 +0000 | [diff] [blame] | 2 | |
| Zhongxing Xu | 6223107 | 2009-04-29 02:37:26 +0000 | [diff] [blame^] | 3 | #include <sys/socket.h> |
| Zhongxing Xu | c58e785 | 2009-04-28 13:52:13 +0000 | [diff] [blame] | 4 | void f(int sock) { |
| 5 | struct sockaddr_storage storage; |
| 6 | struct sockaddr* sockaddr = (struct sockaddr*)&storage; |
| 7 | socklen_t addrlen = sizeof(storage); |
| 8 | getsockname(sock, sockaddr, &addrlen); |
| 9 | switch (sockaddr->sa_family) { // no-warning |
| 10 | default: |
| 11 | ; |
| 12 | } |
| 13 | } |