summaryrefslogtreecommitdiffstats
path: root/clang
Commit message (Collapse)AuthorAgeFilesLines
* Implement FIXME related to <rdar://problem/6496506> Implement class ↵Steve Naroff2009-03-112-8/+43
| | | | | | setter/getter for properties. llvm-svn: 66689
* Implement basic template instantiation for fields. Reshuffle checkingDouglas Gregor2009-03-117-57/+164
| | | | | | | for FieldDecls so that the parser and the template instantiation make use of the same semantic checking module. llvm-svn: 66685
* '-o' option now supports relative paths.Ted Kremenek2009-03-111-1/+4
| | | | llvm-svn: 66680
* Fix StmtIterator bug reported in PR 3780 where a VLA within a DeclGroup wouldTed Kremenek2009-03-112-9/+11
| | | | | | | not be consulted for its size expression when operator* was called in the StmtIterator (this resulted in an assertion failure). llvm-svn: 66679
* Add basic, hackish support for instantiation of typedefs in a classDouglas Gregor2009-03-119-5/+95
| | | | | | | | | template. More importantly, start to sort out the issues regarding complete types and nested-name-specifiers, especially the question of: when do we instantiate a class template specialization that occurs to the left of a '::' in a nested-name-specifier? llvm-svn: 66662
* Add parser support for static_assert.Anders Carlsson2009-03-117-5/+74
| | | | llvm-svn: 66661
* Fix <rdar://problem/6655054> clang issues bogus error on property usage in a ↵Steve Naroff2009-03-112-10/+36
| | | | | | dot-syntax. llvm-svn: 66659
* Fix <rdar://problem/6578665> user declared setter method should be used when ↵Steve Naroff2009-03-112-26/+64
| | | | | | using property syntx. llvm-svn: 66658
* This test case checks if we get the right rvalue type of a TypedViewRegion.Zhongxing Xu2009-03-111-0/+15
| | | | | | | The ElementRegion's type depends on the array region's rvalue type. If it was a pointer type, we would get a loc::SymbolVal for '*p'. llvm-svn: 66656
* The RValueType of a TypedViewRegion should be the pointee type.Zhongxing Xu2009-03-111-1/+3
| | | | llvm-svn: 66655
* Do not stipulate the record type is a definition in BindStruct().Zhongxing Xu2009-03-111-1/+3
| | | | llvm-svn: 66654
* Correct for change of this name in LLVM.Duncan Sands2009-03-111-2/+2
| | | | llvm-svn: 66652
* Fix crash when LHS of pointer arithmetic is not ElementRegion.Zhongxing Xu2009-03-112-3/+22
| | | | llvm-svn: 66649
* Update checker build.Ted Kremenek2009-03-111-1/+1
| | | | llvm-svn: 66643
* RegionStore::getLValueElement: Handle the case where the signedness of theTed Kremenek2009-03-111-2/+6
| | | | | | | | offset may be different that the base. Ultimately we need a better solution for these issues, but this point-by-point fixes are gradually outlining the scope of the problem. llvm-svn: 66638
* Add utility method to BasicValueFactory to convert an APSInt to one of a ↵Ted Kremenek2009-03-111-0/+12
| | | | | | different sign. llvm-svn: 66637
* GRExprEngine::ProcessBranch: Don't register a "pretty-stack printer" when ↵Ted Kremenek2009-03-111-7/+6
| | | | | | the Condition is null. llvm-svn: 66636
* Improve the "bad receiver" warning for ObjC message sends to be less confusing.Chris Lattner2009-03-114-5/+5
| | | | llvm-svn: 66635
* Fix PR 3780: In one code path in BasicValueFactory::getValue() we would notTed Kremenek2009-03-112-1/+16
| | | | | | return an unsigned integer for a null pointer value. llvm-svn: 66630
* GRExprEngine: Add pretty-stack trace printing for crashes and assertion ↵Ted Kremenek2009-03-111-2/+14
| | | | | | failures. llvm-svn: 66629
* SimpleConstraintManager doesn't reason about bitwise-constraints on symbolicTed Kremenek2009-03-112-0/+26
| | | | | | | values. Indicating this in 'canReasonAbout' allows GRExprEngine to recover path-sensitivity in some cases. llvm-svn: 66628
* GRExprEngine: For places we might conjure up a new symbol to recoverTed Kremenek2009-03-111-7/+11
| | | | | | | | path-sensitivity, beyond checking to see if the value is "unknown" also check if the ConstraintManager can handle the SVal. This allows us to recover some path-sensitivity by actually discarding some information. llvm-svn: 66627
* Add accessor method.Ted Kremenek2009-03-111-0/+4
| | | | llvm-svn: 66626
* Add accessor method to return a GRStateManager's internal ConstraintManager.Ted Kremenek2009-03-111-0/+1
| | | | llvm-svn: 66625
* Added method "canReasonAbout" to ConstraintManager. This method returns true ifTed Kremenek2009-03-113-0/+14
| | | | | | a ConstraintManager can usefully reason about the given SVal. llvm-svn: 66624
* Display the exploded graph before calling BugReporter.FlushReports(). The latterTed Kremenek2009-03-111-4/+4
| | | | | | | deletes all registered BugTypes from BugReporter, and thus we need to display the graph first. llvm-svn: 66623
* Use the BugReports in BugReporter to determine the root nodes for "trim-egraph".Ted Kremenek2009-03-111-31/+15
| | | | llvm-svn: 66622
* Add some iterators to BugReporter.Ted Kremenek2009-03-111-0/+26
| | | | llvm-svn: 66621
* Use the right indentationAnders Carlsson2009-03-111-27/+27
| | | | llvm-svn: 66620
* Clear all the linetable state in clear(), fixing problemsChris Lattner2009-03-111-0/+1
| | | | | | | with "clang t.i s.i" where the .i files contain line markers. rdar://6667812 llvm-svn: 66619
* fix PR3258 by rejecting invalid numeric operands.Chris Lattner2009-03-114-7/+31
| | | | llvm-svn: 66618
* Remove space-break that interrupts one string literal. This is fine in C, ↵Ted Kremenek2009-03-111-3/+3
| | | | | | but not in TableGen files. llvm-svn: 66616
* More Next objc2's gc ivar layout bitmap work.Fariborz Jahanian2009-03-112-3/+137
| | | | | | Work in progress. llvm-svn: 66615
* checking for symbolic operands as well as % at end of string.Chris Lattner2009-03-113-14/+36
| | | | llvm-svn: 66614
* Fix typo.Daniel Dunbar2009-03-111-1/+1
| | | | llvm-svn: 66613
* position the caret properly on asm string diagnostics, e.g.:Chris Lattner2009-03-102-4/+3
| | | | | | | | Sema/asm.c:64:9: error: invalid % escape in inline assembly string asm("%!" : ); // expected-error {{invalid % escape in inline assembly string}} ~~^~ llvm-svn: 66606
* reject invalid escape characters in extended-asm strings with a nice diagnostic.Chris Lattner2009-03-104-24/+36
| | | | llvm-svn: 66605
* Driver: Add host info (add new files).Daniel Dunbar2009-03-101-0/+84
| | | | llvm-svn: 66604
* Driver: Add host info (add new files).Daniel Dunbar2009-03-101-0/+61
| | | | llvm-svn: 66603
* Add type checking for tentative definitions at the end of theDouglas Gregor2009-03-1010-63/+117
| | | | | | | | | translation unit. Thread the various declarations of variables via VarDecl::getPreviousDeclaration. llvm-svn: 66601
* Driver: Add host info.Daniel Dunbar2009-03-103-17/+49
| | | | | | | - Replace assorted -ccc-host-* options by -ccc-host-triple which is more sane. llvm-svn: 66600
* add plumbing to report diagnostics back through sema for malformed asmstrings.Chris Lattner2009-03-104-9/+24
| | | | llvm-svn: 66598
* move the asm string analysis code out of codegen into common Chris Lattner2009-03-103-116/+182
| | | | | | code where Sema can get to it. No functionality change. llvm-svn: 66596
* Partial fix for PR3310, concerning type-checking for tentativeDouglas Gregor2009-03-105-17/+37
| | | | | | | | | | | definitions. We were rejecting tentative definitions of incomplete (which is bad), and now we don't. This fix is partial because we don't do the end-of-translation-unit initialization for tentative definitions that don't ever have any initializers specified. llvm-svn: 66584
* Emit super class debug info.Devang Patel2009-03-101-0/+11
| | | | llvm-svn: 66580
* Driver: Handle magic -ccc- options.Daniel Dunbar2009-03-104-11/+146
| | | | | | | - Follows ccc currently, but this functionality should eventually be outside the Driver lib. llvm-svn: 66575
* Extend the notion of active template instantiations to include theDouglas Gregor2009-03-1010-35/+175
| | | | | | | | | | | | context of a template-id for which we need to instantiate default template arguments. In the TextDiagnosticPrinter, don't suppress the caret diagnostic if we are producing a non-note diagnostic that follows a note diagnostic with the same location, because notes are (conceptually) a part of the warning or error that comes before them. llvm-svn: 66572
* If we run into multiple errors within the same template instantiation,Douglas Gregor2009-03-103-5/+30
| | | | | | | | | only print the template instantiation backtrace for the first error. Also, if a base class has failed to type-check during instantiation, just drop that base class and continue on to check other base classes. llvm-svn: 66563
* Add pretty-printing for class template specializations, e.g.,Douglas Gregor2009-03-107-16/+43
| | | | | | | | | | | | | | | | 'struct A<double, int>' In the "template instantiation depth exceeded" message, print "-ftemplate-depth-N" rather than "-ftemplate-depth=N". An unnamed tag type that is declared with a typedef, e.g., typedef struct { int x, y; } Point; can be used as a template argument. Allow this, and check that we get sensible pretty-printing for such things. llvm-svn: 66560
* When pretty-printing an anonymous tag type that is associated with a ↵Douglas Gregor2009-03-101-2/+9
| | | | | | typedef, use the name of the typedef rather than <anonymous> llvm-svn: 66559
OpenPOWER on IntegriCloud