llvm-project

Commit Graph

Author	SHA1	Message	Date
Jordan Rose	0a9ea7c70d	[analyzer] The result of && or \|\| is always a 1 or 0. Forgetting to at least cast the result was giving us Loc/NonLoc problems in SValBuilder (hitting an assertion). But the standard (both C and C++) does actually guarantee that && and \|\| will result in the actual values 1 and 0, typed as 'int' in C and 'bool' in C++, and we can easily model that. PR13461 llvm-svn: 162209	2012-08-20 17:04:45 +00:00

Author

SHA1

Message

Date

Jordan Rose

0a9ea7c70d

[analyzer] The result of && or || is always a 1 or 0.

Forgetting to at least cast the result was giving us Loc/NonLoc problems
in SValBuilder (hitting an assertion). But the standard (both C and C++)
does actually guarantee that && and || will result in the actual values
1 and 0, typed as 'int' in C and 'bool' in C++, and we can easily model that.

PR13461

llvm-svn: 162209

2012-08-20 17:04:45 +00:00

1 Commits