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 }
13