| Argyrios Kyrtzidis | f4699d1 | 2011-02-18 20:55:19 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -analyze -analyzer-check-objc-mem -verify %s |
| 2 | |||||
| 3 | int f1(char *dst) { | ||||
| 4 | char *p = dst + 4; | ||||
| 5 | char *q = dst + 3; | ||||
| 6 | return !(q >= p); | ||||
| 7 | } | ||||
| Argyrios Kyrtzidis | 4f20de1 | 2011-02-18 21:24:56 +0000 | [diff] [blame] | 8 | |
| Argyrios Kyrtzidis | 7ff07dc | 2011-02-19 01:08:41 +0000 | [diff] [blame] | 9 | long f2(char *c) { |
| 10 | return long(c) & 1; | ||||
| 11 | } | ||||
| 12 | |||||
| Argyrios Kyrtzidis | 370e6e9 | 2011-02-19 01:59:41 +0000 | [diff] [blame] | 13 | bool f3() { |
| 14 | return !false; | ||||
| 15 | } | ||||
| 16 | |||||
| Argyrios Kyrtzidis | 4f20de1 | 2011-02-18 21:24:56 +0000 | [diff] [blame] | 17 | namespace { |
| 18 | |||||
| 19 | struct A { }; | ||||
| 20 | struct B { | ||||
| John McCall | 15e310a | 2011-02-19 02:53:41 +0000 | [diff] [blame^] | 21 | operator A() { return A(); } |
| Argyrios Kyrtzidis | 4f20de1 | 2011-02-18 21:24:56 +0000 | [diff] [blame] | 22 | }; |
| 23 | |||||
| 24 | A f(char *dst) { | ||||
| 25 | B b; | ||||
| 26 | return b; | ||||
| 27 | } | ||||
| 28 | |||||
| 29 | } | ||||