Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | [analyzer] Don't assert when combining using .* on a temporary. | Jordan Rose | 2014-04-29 | 1 | -1/+19 |
| | | | | | | | | | | | | | While we don't model pointer-to-member operators yet (neither .* nor ->*), CallAndMessageChecker still checks to make sure the 'this' object is not null or undefined first. However, it also expects that the object should always have a valid MemRegion, something that's generally important elsewhere in the analyzer as well. Ensure this is true ahead of time, just like we do for member access. PR19531 llvm-svn: 207561 | ||||
* | [analyzer] Handle 'SomeVar.SomeEnumConstant', which is legal in C++. | Jordan Rose | 2012-10-23 | 1 | -0/+23 |
This caused assertion failures analyzing LLVM. <rdar://problem/12560282> llvm-svn: 166529 |