| Jordan Rose | 36bc6b4 | 2013-09-18 18:58:58 +0000 | [diff] [blame^] | 1 | // RUN: %clang_cc1 -analyze -analyzer-checker=core -analyzer-store=region -verify %s |
| 2 | // expected-no-diagnostics | ||||
| 3 | |||||
| 4 | bool PR14634(int x) { | ||||
| 5 | double y = (double)x; | ||||
| 6 | return !y; | ||||
| 7 | } | ||||
| 8 | |||||
| 9 | bool PR14634_implicit(int x) { | ||||
| 10 | double y = (double)x; | ||||
| 11 | return y; | ||||
| 12 | } | ||||