llvm-svn: 58362

closely.

llvm-svn: 58361

arguments.
 - More important than it looks, this inhibits trivial inlining
   otherwise.

llvm-svn: 58360

BindDecl better describes what the function does:
  - Bind the VarDecl to its memory region
  - Bind the memory region to some initial value.

llvm-svn: 58359

ImplicitConversionSequence and, when doing so, following the specific
rules of [over.best.ics]. 

The computation of the implicit conversion sequences implements C++
[over.ics.ref], but we do not (yet) have ranking for implicit
conversion sequences that use reference binding.

llvm-svn: 58357

llvm-svn: 58356

of copy initialization. Other pieces of the puzzle:

  - Try/Perform-ImplicitConversion now handles implicit conversions
    that don't involve references.
  - Try/Perform-CopyInitialization uses
    CheckSingleAssignmentConstraints for C. PerformCopyInitialization
    is now used for all argument passing and returning values from a
    function.
  - Diagnose errors with declaring references and const values without
    an initializer. (Uses a new Action callback, ActOnUninitializedDecl).
  
We do not yet have implicit conversion sequences for reference
binding, which means that we don't have any overloading support for
reference parameters yet.

llvm-svn: 58353

llvm-svn: 58349

With this commit, stuff like this is very close to working...

    [foo barf:^(int){ printf("whatever\n"); }];

Here is what is currently translates to...

    ((id (*)(id, SEL, void (^)(int)))(void *)objc_msgSend)((id)foo, sel_registerName("barf:"), (void (*)(int))__main_block_func_0);

I just need make sure the funky cast on objc_msgSend() is converted from "void (^)(int)" to "void (*)(int)". Since the cast doesn't appear in the source code, it needs to be converted in RewriteObjC::SynthMessageExpr().

llvm-svn: 58348

(1) when all of the bug category boxes are checked, automatically check "All Bugs"

(2) when any of the bug category boxes are unchecked, automatically uncheck "All Bugs"

llvm-svn: 58346

The attached patch adds a checkbox to the scan-build summary report, which toggles all other checkboxes' states.

llvm-svn: 58344

 - No functionality change.

llvm-svn: 58342

llvm-svn: 58341

llvm-svn: 58331

llvm-svn: 58330

llvm-svn: 58322

llvm-svn: 58321

llvm-svn: 58313

with an ivar that wasn't a bug but was confusing.

llvm-svn: 58311

llvm-svn: 58308

in the driver (this means we no longer run the verifier per function, however).

llvm-svn: 58307

  - Do not allow expressions to ever have reference type
  - Extend Expr::isLvalue to handle more cases where having written a
    reference into the source implies that the expression is an lvalue
    (e.g., function calls, C++ casts).
  - Make GRExprEngine::VisitCall treat the call arguments as lvalues when
    they are being bound to a reference parameter.

llvm-svn: 58306

Initialize Suffix and Prefix to 0, even with a bad entry.  Removes an uninitialized value warning from gcc.

llvm-svn: 58305

llvm-svn: 58304

being emitted unless needed and doesn't inhibit inlining.
  - Can be fixed once we implement C99 inline semantics.

llvm-svn: 58303

- Add symbol_iterator support for SymbolicRegions.

llvm-svn: 58300

llvm-svn: 58292

llvm-svn: 58291

llvm-svn: 58289

llvm-svn: 58286

 - Nice if -verify test exercise the various cleanup functions.

llvm-svn: 58285

  - No functionality change.

llvm-svn: 58282

llvm-svn: 58281

llvm-svn: 58280

llvm-svn: 58279

- GRExprEngine::VisitCompoundLiteral...
   (1) visits the initializer list (generating ExplodedNodes)
   (2) creates a CompoundMemRegion for the literal
   (3) creates a new state with the bound literal values using
       GRStateManager::BindCompoundLiteral

- GRStateManager::BindCompoundLiteral simply calls 
  StoreManager::BindCompoundLiteral to get a new store and returns a persistent
  GRState with that store.

- BasicStore::BindCompoundLiteral simply returns the same store, as it
  doesn't handle field sensitivity
  
- RegionStore::BindCompoundLiteral currently fires an assert (pending discussion
  of how to best implement mappings for CompoundLiteralRegion).

llvm-svn: 58277

llvm-svn: 58276

Pull determination of the super region for a VarRegion into a single getVarRegion() method.  This provides a common clean API for clients.

llvm-svn: 58272

llvm-svn: 58270

llvm-svn: 58269