| 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 | |
| 9 | namespace { | ||||
| 10 | |||||
| 11 | struct A { }; | ||||
| 12 | struct B { | ||||
| 13 | operator A(); | ||||
| 14 | }; | ||||
| 15 | |||||
| 16 | A f(char *dst) { | ||||
| 17 | B b; | ||||
| 18 | return b; | ||||
| 19 | } | ||||
| 20 | |||||
| 21 | } | ||||