llvm-svn: 53170

This patch aims to address some of the concerns of PR 2517: http://llvm.org/bugs/show_bug.cgi?id=2517

llvm-svn: 53168

llvm-svn: 53160

llvm-svn: 53149

llvm-svn: 53145

llvm-svn: 53144

llvm-svn: 53143

llvm-svn: 53141

llvm-svn: 53140

This was broken when the GenerateCode function was splitted to use GenerateFunction.

llvm-svn: 53136

'&&' commands together so that the test status reflects the results of all the commands, otherwise the test status will be the result of only the last command.

llvm-svn: 53135

llvm-svn: 53133

'&&' clang commands together so that the test status reflects the results of all three clang executions.

llvm-svn: 53132

llvm-svn: 53129

passed-by-reference to a function. This allows us to build up constraints for
their new values and restore some lost path-sensitivity. This addresses a few
false positives since in Adium.

llvm-svn: 53125

llvm-svn: 53121

llvm-svn: 53118

  http://lists.cs.uiuc.edu/pipermail/cfe-dev/2008-July/002157.html

Essentially the observer mechanism in LiveVariables was observing block-level
expressions multiple times, leading to a case where the dead store checker could
see a value as dead when it was really live.

llvm-svn: 53115

llvm-svn: 53114

llvm-svn: 53107

llvm-svn: 53103

llvm-svn: 53100

llvm-svn: 53099

For the -dealloc checker, check the LangOptions to determine whether or not the code is compiled with GC.

llvm-svn: 53098

-Set "Named Casts" feature to partial parser/sema support because reinterpret_cast is not properly implemented.
-Removed "Virtual functions" feature because it is already covered by "Class definitions".
-Removed "Templates" because we should either list *all* missing/supported features or just list the features with some support. Mentioning just a few missing features without listing all of them makes little sense.

llvm-svn: 53095

-Add a link to cxx_status.html from get_involved.html/"Open Projects".

llvm-svn: 53094

llvm-svn: 53084

Have BugReporter::getCFG and BugReporter::getLiveVariables returns pointers instead of references, because they can both fail
on functions we cannot construct full CFGs for yet.

llvm-svn: 53081

llvm-svn: 53080

llvm-svn: 53076

Added static analysis check to see if a subclass of NSObject implements -dealloc, and whether or not that implementation calls [super dealloc].

llvm-svn: 53075

llvm-svn: 53074

llvm-svn: 53072

llvm-svn: 53071

'integer constant is so large that it is unsigned' warning for hex literals.

llvm-svn: 53070

by filling in the body of a union with enum constants.

llvm-svn: 53069

llvm-svn: 53056

Update test case:  simply running "clang -checker-simple" doesn't invoke the dead store checker anymore.  We need "-warn-dead-stores" as well.

llvm-svn: 53055

llvm-svn: 53054

ccc-analyzer now dispatches the options "-checker-cfref" and "-warn-dead-stores" to clang instead of just "-checker-cfref".

llvm-svn: 53053