1*f4a2713aSLionel Sambuc // RUN: %clang_cc1 -analyze -analyzer-checker=core -analyzer-store=region -verify %s 2*f4a2713aSLionel Sambuc // expected-no-diagnostics 3*f4a2713aSLionel Sambuc 4*f4a2713aSLionel Sambuc bool PR14634(int x) { 5*f4a2713aSLionel Sambuc double y = (double)x; 6*f4a2713aSLionel Sambuc return !y; 7*f4a2713aSLionel Sambuc } 8*f4a2713aSLionel Sambuc 9*f4a2713aSLionel Sambuc bool PR14634_implicit(int x) { 10*f4a2713aSLionel Sambuc double y = (double)x; 11*f4a2713aSLionel Sambuc return y; 12*f4a2713aSLionel Sambuc } 13