casts.cpp revision d76cec5567cb5b04cb5cc48a477a0c71b910053c 
1// 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}
13