llvm-project/clang/test/Analysis/casts.cpp

// RUN: %clang_cc1 -analyze -analyzer-checker=core -analyzer-store=region -verify %s
// expected-no-diagnostics

bool PR14634(int x) {
  double y = (double)x;
  return !y;
}

bool PR14634_implicit(int x) {
  double y = (double)x;
  return y;
}
[analyzer] Don't even try to convert floats to booleans for now. We now have symbols with floating-point type to make sure that (double)x == (double)x comes out true, but we still can't do much with these. For now, don't even bother trying to create a floating-point zero value; just give up on conversion to bool. PR14634, C++ edition. llvm-svn: 190953 2013-09-18 18:58:58 +00:00			`// RUN: %clang_cc1 -analyze -analyzer-checker=core -analyzer-store=region -verify %s`
			`// expected-no-diagnostics`

			`bool PR14634(int x) {`
			`double y = (double)x;`
			`return !y;`
			`}`

			`bool PR14634_implicit(int x) {`
			`double y = (double)x;`
			`return y;`
			`}`