llvm-svn: 83440

Change ExplodedNode to have its NodeGroups all BumpPtrAllocated, avoiding malloc() traffic when adding successors/predecessors to a node.  This was done by introducing BumpVector, which is essentially SmallVector with all memory being BumpPtrAllocated (this can certainly be cleaned up or moved into llvm/ADT).

This change yields a 1.8% speed increase when running the analyzer (with -analyzer-store=region) on a small benchmark file.

llvm-svn: 83439

Force a specific target triple in c-index-api-test.m, making the behavior of the test not be dependent on the host.

llvm-svn: 83438

declarations and explicit template instantiations, improving
diagnostics and making the code usable for function template
specializations (as well as class template specializations and partial
specializations). 

llvm-svn: 83436

llvm-svn: 83433

llvm-svn: 83432

Doug, please review. There is a FIXME in the test case with a question
which is unrelated to this patch (that is, error is issued
before set of builtins are added to the candidate list).

llvm-svn: 83429

llvm-svn: 83428

llvm-svn: 83427

Change GetAddressCXXOfBaseClass to use CXXBasePaths for calculating base class offsets. Fix the code to handle virtual bases as well.

llvm-svn: 83426

llvm-svn: 83423

llvm-svn: 83420

llvm-svn: 83419

explicit specializations can occur. Also, fix a minor recovery bug
where we should allow declarations coming from the parser to be NULL.

llvm-svn: 83416

llvm-svn: 83410

llvm-svn: 83408

This is not yet enabled.

llvm-svn: 83399

llvm-svn: 83398

Emit the destructor epilogue in a cleanup block so a return from a destructor body still calls the epilogue.

llvm-svn: 83397

for bases, members, overridden virtual methods, etc. The operations
isDerivedFrom and lookupInBases are now provided by CXXRecordDecl,
rather than by Sema, so that CodeGen and other clients can use them
directly.

llvm-svn: 83396

llvm-svn: 83395

llvm-svn: 83377

Fix 'clang-cc -analyzer-display-progress' by flushing standard error after printing the name of the analyzed function.

llvm-svn: 83369

evaluated to an APSInt with a different bitwidth than the other
operand in a binary expression.

llvm-svn: 83368

                              adding assert

This fix required a few changes:

SimpleSValuator:
- Eagerly replace a symbolic value with its constant value in EvalBinOpNN
  when it is constrained to a constant.  This allows us to better constant fold
  values along a path.
- Handle trivial case of '<', '>' comparison of pointers when the two pointers
  are exactly the same.

RegionStoreManager:

llvm-svn: 83358

llvm-svn: 83357

llvm-svn: 83352

handle checking for a null pointer for a zero-valued
enumerator; moving the test case from CodeGen to Sema.

llvm-svn: 83350

units, we should as well.  The problem is the non-predictability of
the dimension of the values.  I'd love for the dimension to be part of
the static type system...  but in C++ it is kinda annoying to do.

llvm-svn: 83345

llvm-svn: 83342

llvm-svn: 83337

llvm-svn: 83335

llvm-svn: 83331

llvm-svn: 83330

llvm-svn: 83328

llvm-svn: 83327

extension class's protocol list so its AST is complete.
2) Because of this no need to issue warning on unimplemeted
methods coming from the extended class protocols
because warning is issued when class definition is seen.

llvm-svn: 83326

llvm-svn: 83325

assume that PCH files from different Clang revisions are not
compatible. Addresses <rdar://problem/7266572>.

llvm-svn: 83323

<rdar://problem/7269631> Protocols on class extensions don't work

llvm-svn: 83322