blob: 339539189ed7b1fe20a1e4c29d5c3dfa531258c9 [file] [log] [blame]
Jordan Rose36bc6b42013-09-18 18:58:58 +00001// RUN: %clang_cc1 -analyze -analyzer-checker=core -analyzer-store=region -verify %s
2// expected-no-diagnostics
3
4bool PR14634(int x) {
5 double y = (double)x;
6 return !y;
7}
8
9bool PR14634_implicit(int x) {
10 double y = (double)x;
11 return y;
12}