the else clause. The problem is that it's overly zealous and will respond to
uses in assignments, or after assignments. We should bring this back once we
can do it right. Fixes PR7100.

llvm-svn: 110314

pointers like it can with normal and member pointers.

llvm-svn: 110313

Null template arguments are bad, but they're better than crashing with an
argument mismatch.

llvm-svn: 110312

Tweak GRState::unbindLoc to use makeWithStore, and make sure it's only called for non-region locations.

llvm-svn: 110310

llvm-svn: 110309

llvm-svn: 110304

just means "not a function type", not "not a function type or void". This
changes behavior slightly, but generally in a way which accepts more code.

llvm-svn: 110303

Drop an unjustified limitation from Type::isObjectType(). Fixes PR7801 and doesn't seem to break anything.

llvm-svn: 110295

llvm-svn: 110294

llvm-svn: 110290

Correctly handle 'Class<...>' when examining Cocoa conventions in the static analyzer.  Fixes a crash reported in <rdar://problem/8272168>.  Patch by Henry Mason!

llvm-svn: 110289

llvm-svn: 110288

llvm-svn: 110287

Fix CFGBuilder to not blow out the stack when processing deeply nested CaseStmts.  Fixes <rdar://problem/8268753>.

llvm-svn: 110286

functions with in-line definitions, since such thunks will be emitted at any
use of the function.

Completes the feature work for rdar://problem/7523229.

llvm-svn: 110285

llvm-svn: 110271

llvm-svn: 110265

llvm-svn: 110262

llvm-svn: 110253

llvm-svn: 110247

Implement per-file reading of the selector table. This disables statistics about method pool hits for the moment.

llvm-svn: 110245

Teach SemaChecking::CheckReturnStackAddr about ImplicitCastExprs that convert values to an lvalue.  This allows us to warn (again) about returning references to stack variables.  (fixes PR 7812).

llvm-svn: 110242

llvm-svn: 110239

Add CFGStmtMap, which defines a mapping from Stmt* to CFGBlock*.  The immediate intended use is in the unreachable code analysis.

llvm-svn: 110230

llvm-svn: 110229

llvm-svn: 110219

file buffers until the code completion results are destroyed;
diagnostics may end up referring into the source.

llvm-svn: 110216

for objective-c/c++ blocks (NeXt runtime).

llvm-svn: 110213

completion within the translation unit using the same command-line
arguments for parsing the translation unit. Eventually, we'll reuse
the precompiled preamble to improve code-completion performance, and
this also gives us a place to cache results.

Expose this function via the new libclang function
clang_codeCompleteAt(), which performs the code completion within a
CXTranslationUnit. The completion occurs in-process
(clang_codeCompletion() runs code completion out-of-process).

llvm-svn: 110210

Apply hidden visibility to most RTTI;  libstdc++ does not rely on exact
pointer equality for the type info (just the type info names).  Apply
the same optimization to RTTI that we do to vtables.

Fixes PR5962.

llvm-svn: 110192

Change the checker callback cache in GRExprEngine to be more compact (and IMHO a little easier to understand), and add the same sort of caching for EvalAssume (tied for least-used callback), mostly as proof-of-concept.

Before we go further with these, we should figure out a way to reuse the visit-and-cache code in CheckerVisit.

llvm-svn: 110191

haven't been explicitly instantiated.

llvm-svn: 110189

ObjC exceptions:
  - don't enter a try for the catch blocks unless there's a finally
  - put the setjmp buffer in the locals set for liveness reasons
  - dump the sync object into an alloca in the locals set for liveness reasons
Some of this can go away if the backend starts to properly calculate liveness
in the presence of setjmp (which would also be a *much* stabler solution).

llvm-svn: 110188

short "cooling off" period (defaulting to 5 reparses) before trying to
build a precompiled preamble again. Previously, if we failed to build
the precompiled preamble at any time, we just gave up the whole
charade any never tried again.

llvm-svn: 110187

a declaration.

llvm-svn: 110175

delete for a virtual destructor.  Diagnose ambiguities.

Fixes PR7803.

llvm-svn: 110173

mark it nounwind based on whether it contains any non-nounwind calls.
<rdar://problem/8087431>

llvm-svn: 110163

llvm-svn: 110161

Store all selectors in the selector hash table instead of only those from the method pool.

llvm-svn: 110158

llvm-svn: 110153