Daniel Dunbar | a572887 | 2009-12-15 20:14:24 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -triple x86_64-apple-darwin9 -analyze -analyzer-experimental-internal-checks -checker-cfref -analyzer-store=region -verify %s |
Zhongxing Xu | 2fc3259 | 2009-04-29 01:50:12 +0000 | [diff] [blame] | 2 | |
Zhongxing Xu | b1080ed | 2009-04-29 05:59:48 +0000 | [diff] [blame] | 3 | // Test if the 'storage' region gets properly initialized after it is cast to |
| 4 | // 'struct sockaddr *'. |
| 5 | |
Ted Kremenek | caac089 | 2009-08-20 04:48:23 +0000 | [diff] [blame] | 6 | typedef unsigned char __uint8_t; |
| 7 | typedef unsigned int __uint32_t; |
| 8 | typedef __uint32_t __darwin_socklen_t; |
| 9 | typedef __uint8_t sa_family_t; |
| 10 | typedef __darwin_socklen_t socklen_t; |
| 11 | struct sockaddr { sa_family_t sa_family; }; |
| 12 | struct sockaddr_storage {}; |
Eli Friedman | cb52d28 | 2009-07-10 20:10:06 +0000 | [diff] [blame] | 13 | |
Chris Lattner | e030358 | 2010-01-09 20:43:19 +0000 | [diff] [blame] | 14 | void getsockname(); |
| 15 | |
Zhongxing Xu | c58e785 | 2009-04-28 13:52:13 +0000 | [diff] [blame] | 16 | void f(int sock) { |
| 17 | struct sockaddr_storage storage; |
| 18 | struct sockaddr* sockaddr = (struct sockaddr*)&storage; |
| 19 | socklen_t addrlen = sizeof(storage); |
| 20 | getsockname(sock, sockaddr, &addrlen); |
| 21 | switch (sockaddr->sa_family) { // no-warning |
| 22 | default: |
| 23 | ; |
| 24 | } |
| 25 | } |
Zhongxing Xu | 88c675f | 2009-06-18 06:29:10 +0000 | [diff] [blame] | 26 | |
| 27 | struct s { |
| 28 | struct s *value; |
| 29 | }; |
| 30 | |
Mike Stump | 9599226 | 2009-07-21 18:45:53 +0000 | [diff] [blame] | 31 | void f1(struct s **pval) { |
Zhongxing Xu | 88c675f | 2009-06-18 06:29:10 +0000 | [diff] [blame] | 32 | int *tbool = ((void*)0); |
| 33 | struct s *t = *pval; |
| 34 | pval = &(t->value); |
Zhongxing Xu | 18e7a3d | 2009-10-14 06:05:09 +0000 | [diff] [blame] | 35 | tbool = (int *)pval; // use the cast-to type 'int *' to create element region. |
Zhongxing Xu | 59c03ff | 2009-06-18 06:49:35 +0000 | [diff] [blame] | 36 | char c = (unsigned char) *tbool; // Should use cast-to type to create symbol. |
Zhongxing Xu | 18e7a3d | 2009-10-14 06:05:09 +0000 | [diff] [blame] | 37 | if (*tbool == -1) // here load the element region with the correct type 'int' |
Anders Carlsson | 9668b1f | 2009-07-30 22:37:41 +0000 | [diff] [blame] | 38 | (void)3; |
Zhongxing Xu | 88c675f | 2009-06-18 06:29:10 +0000 | [diff] [blame] | 39 | } |
| 40 | |
Zhongxing Xu | 005f07b | 2009-06-19 04:51:14 +0000 | [diff] [blame] | 41 | void f2(const char *str) { |
| 42 | unsigned char ch, cl, *p; |
| 43 | |
| 44 | p = (unsigned char *)str; |
| 45 | ch = *p++; // use cast-to type 'unsigned char' to create element region. |
| 46 | cl = *p++; |
| 47 | if(!cl) |
| 48 | cl = 'a'; |
| 49 | } |
Zhongxing Xu | 6607aca | 2010-01-05 11:49:21 +0000 | [diff] [blame] | 50 | |
| 51 | // Test cast VariableSizeArray to pointer does not crash. |
| 52 | void *memcpy(void *, void const *, unsigned long); |
| 53 | typedef unsigned char Byte; |
| 54 | void doit(char *data, int len) { |
| 55 | if (len) { |
| 56 | Byte buf[len]; |
| 57 | memcpy(buf, data, len); |
| 58 | } |
| 59 | } |
Zhongxing Xu | 7b81e8f | 2010-01-14 03:45:06 +0000 | [diff] [blame] | 60 | |
| 61 | struct pcm_feeder { |
| 62 | void *data; |
| 63 | }; |
| 64 | // Test cast a pointer to long and then to int does not crash SValuator. |
| 65 | void feed_swaplr (struct pcm_feeder *f) |
| 66 | { |
| 67 | int bps; |
| 68 | bps = (long) f->data; |
| 69 | (void) bps; |
| 70 | } |