llvm-svn: 47620

llvm-svn: 47618

CharacterLiteral expressions.

llvm-svn: 47617

now store in the state essentially which branch we took.  This removes
a bunch of bogus assumptions (and likely bugs), reduces the complexity of
the implementation, and facilitates more optimizations.

llvm-svn: 47613

llvm-svn: 47609

llvm-svn: 47590

llvm-svn: 47588

Added recording of divide-by-zero and divide-by-uninitialized nodes.

llvm-svn: 47586

Patch by Mike Stump!

llvm-svn: 47582

sign of its type in the early exit case.  No testcase, because this
doesn't manifest as a failure.

llvm-svn: 47581

llvm-svn: 47580

This caused the whole body to get dropped from the CFG.

llvm-svn: 47579

llvm-svn: 47578

that aren't VarDecls.

llvm-svn: 47572

failures on OS X in some cases.  (Thank you valgrind.)

llvm-svn: 47568

bits VC++ right now.

llvm-svn: 47565

llvm-svn: 47564

llvm-svn: 47562

llvm-svn: 47560

llvm-svn: 47553

llvm-svn: 47551

symbolic store: VarDecl's inserted into the sweep may not always bind to
anything; handle this special case just like bindings to uninitialized values.

llvm-svn: 47550

"remainder-by-zero" checking (operator '%').

llvm-svn: 47549

wrapping an EnumConstantDecl evaluates to an integer type that has a different
signedness than the APSInt stored in the EnumConstantDecl. Will file a Bugzilla
report.

llvm-svn: 47548

llvm-svn: 47547

llvm-svn: 47543

llvm-svn: 47540

llvm-svn: 47539

Move the initialization of SEL/objc_selector from Sema::Sema() to Sema::ActOnTranslationUnitScope() and make sure the type/struct get inserted into the translation unit scope.

Bug submitted by David Chisnall (thanks!).

llvm-svn: 47538

- More enum signeness bitfield fixes (MSVC treats enums as signed).

- Fixed in Lex/HeaderSearch.cpp an unsafe copy between two
  HeaderSearch::PerFileInfo entries in a common vector. The copy involved two
  calls to getFileInfo() within the assignment; these calls could have
  side-effects that enlarged the internal vector, and with MSVC this would
  invalidate one of the values in the assignment.
  
Patch by Argiris Kirtzidis!

llvm-svn: 47536

since inodes are bogus abstraction on that platform.

Patch by Argiris Kirtzidis!

llvm-svn: 47535

llvm-svn: 47530

instead of TokenKind because of signedness issues with MSVC and enums.

Patch from Argiris Kirtzidis.

llvm-svn: 47515

The patch fixes some debug assertions that the msvcrt throws:

1)
-    if (isprint(value) && value < 256) {
+    if (value < 256 && isprint(value)) {

isprint() does an assertion check of its own for value < 256; check value before calling it to prevent it.


2)
-    Stmt->Names.push_back(std::string(&data[0], data.size()));
+    if (data.size() == 0)
+      Stmt->Names.push_back(std::string());
+    else
+      Stmt->Names.push_back(std::string(&data[0], data.size()));

If data.size() == 0 then data[0] throws "out of range" assertion.

llvm-svn: 47512

confluence points the liveness information for variables (Decls) and NOT
block-level expressions.

llvm-svn: 47506

--analyze-function option to analyze specific functions.

llvm-svn: 47498

--analyze-function option to dump/view the CFGs of specific functions.

llvm-svn: 47497

appear in a file.

llvm-svn: 47491

llvm-svn: 47489

assumption logic for lval::DeclVal.

llvm-svn: 47466