Dominic Chen | 184c624 | 2017-03-03 18:02:02 +0000 | [diff] [blame] | 1 | // RUN: %clang_analyze_cc1 -analyzer-checker=core,alpha.core -analyzer-store=region -verify %s |
Andy Gibbs | c6e68da | 2012-10-19 12:44:48 +0000 | [diff] [blame] | 2 | // expected-no-diagnostics |
Ted Kremenek | a06a68f | 2009-03-05 20:22:13 +0000 | [diff] [blame] | 3 | |
Jordan Rose | 783b11b | 2013-07-25 17:22:02 +0000 | [diff] [blame] | 4 | // Test function pointer casts. |
Ted Kremenek | 3add5e5 | 2009-03-05 22:47:06 +0000 | [diff] [blame] | 5 | typedef void* (*MyFuncTest1)(void); |
Ted Kremenek | a06a68f | 2009-03-05 20:22:13 +0000 | [diff] [blame] | 6 | |
| 7 | MyFuncTest1 test1_aux(void); |
| 8 | void test1(void) { |
| 9 | void *x; |
| 10 | void* (*p)(void); |
| 11 | p = ((void*) test1_aux()); |
| 12 | if (p != ((void*) 0)) x = (*p)(); |
| 13 | } |
Ted Kremenek | 3add5e5 | 2009-03-05 22:47:06 +0000 | [diff] [blame] | 14 | |
Jordan Rose | 783b11b | 2013-07-25 17:22:02 +0000 | [diff] [blame] | 15 | // Test casts from void* to function pointers. |
Ted Kremenek | 3add5e5 | 2009-03-05 22:47:06 +0000 | [diff] [blame] | 16 | void* test2(void *p) { |
| 17 | MyFuncTest1 fp = (MyFuncTest1) p; |
| 18 | return (*fp)(); |
| 19 | } |
Anna Zaks | 295208d | 2011-09-12 17:56:08 +0000 | [diff] [blame] | 20 | |
| 21 | // <radar://10087620> |
| 22 | // A cast from int onjective C property reference to int. |
| 23 | typedef signed char BOOL; |
| 24 | @protocol NSObject - (BOOL)isEqual:(id)object; @end |
| 25 | @interface NSObject <NSObject> {} - (id)init; @end |
| 26 | typedef enum { |
Anna Zaks | 05dda47 | 2011-09-12 18:28:35 +0000 | [diff] [blame] | 27 | EEOne, |
| 28 | EETwo |
| 29 | } RDR10087620Enum; |
| 30 | @interface RDR10087620 : NSObject { |
| 31 | RDR10087620Enum elem; |
Anna Zaks | 295208d | 2011-09-12 17:56:08 +0000 | [diff] [blame] | 32 | } |
Anna Zaks | 05dda47 | 2011-09-12 18:28:35 +0000 | [diff] [blame] | 33 | @property (readwrite, nonatomic) RDR10087620Enum elem; |
John McCall | fe96e0b | 2011-11-06 09:01:30 +0000 | [diff] [blame] | 34 | @end |
| 35 | |
Anna Zaks | 295208d | 2011-09-12 17:56:08 +0000 | [diff] [blame] | 36 | static void |
Anna Zaks | 05dda47 | 2011-09-12 18:28:35 +0000 | [diff] [blame] | 37 | adium_media_ready_cb(RDR10087620 *InObj) |
Anna Zaks | 295208d | 2011-09-12 17:56:08 +0000 | [diff] [blame] | 38 | { |
Anna Zaks | 05dda47 | 2011-09-12 18:28:35 +0000 | [diff] [blame] | 39 | InObj.elem |= EEOne; |
Anna Zaks | 295208d | 2011-09-12 17:56:08 +0000 | [diff] [blame] | 40 | } |
Jordan Rose | 783b11b | 2013-07-25 17:22:02 +0000 | [diff] [blame] | 41 | |
| 42 | |
| 43 | // PR16690 |
| 44 | _Bool testLocAsIntegerToBool() { |
| 45 | return (long long)&testLocAsIntegerToBool; |
| 46 | } |