| 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 | 4f20de1 | 2011-02-18 21:24:56 +0000 | [diff] [blame] | 13 | namespace { |
| 14 | |||||
| 15 | struct A { }; | ||||
| 16 | struct B { | ||||
| 17 | operator A(); | ||||
| 18 | }; | ||||
| 19 | |||||
| 20 | A f(char *dst) { | ||||
| 21 | B b; | ||||
| 22 | return b; | ||||
| 23 | } | ||||
| 24 | |||||
| 25 | } | ||||