Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | Fix <rdar://problem/6770276> Support Class<Proto> syntax. | Steve Naroff | 2009-07-22 | 10 | -21/+24 | |
| | | | | llvm-svn: 76741 | |||||
* | Test template instantiation for member functions of class templates defined | Douglas Gregor | 2009-07-22 | 2 | -24/+44 | |
| | | | | | | out of line. llvm-svn: 76740 | |||||
* | Make vectorized floating-point comparisons work without crashing. | Eli Friedman | 2009-07-22 | 2 | -1/+15 | |
| | | | | llvm-svn: 76726 | |||||
* | Restructure ProgramPoint to have the 'Kind' value be its own instance | Ted Kremenek | 2009-07-22 | 1 | -69/+28 | |
| | | | | | | | | variable. This gives us much more flexibility with defining more ProgramPoints, which is the direction we are heading. The removal of various bit-mangling of pointers also cleans up the logic. llvm-svn: 76721 | |||||
* | Temporarily disable most use of region casts in RegionStoreManager, | Ted Kremenek | 2009-07-22 | 1 | -8/+32 | |
| | | | | | | | | | | | | | | | | instead preferring to use the a region's actual type when creating symbols and using the QualType passed to Retrieve for implicit casting. This preprocessor logic is temporary; eventually we will either remove region casts or keep them. Temporarily toggle (via preprocessor directives) that SymbolicRegions with heap storage are not undefined, but instead should be symbolicated. If we want to model that a SymbolicRegion is uninitialized, we can explicitly model that by binding UndefinedVal to that region. It turns out that we want to treat most heap objects as being defined, not the other way around. llvm-svn: 76720 | |||||
* | Fix a crasher in StoreManager::InvalidateRegion() caused by using the | Ted Kremenek | 2009-07-22 | 2 | -0/+19 | |
| | | | | | | | | | 'cast type' of a region to invalidate its binding. This only occurs when using RegionStoreManager, as it records the cast type. I'm currently considering removing the notion of a cast type (see comments in code). llvm-svn: 76719 | |||||
* | Preserve address space information through member accesses, e.g., | Mon P Wang | 2009-07-22 | 8 | -27/+148 | |
| | | | | | | | __attribute__((address_space(1))) struct {int arr[ 3 ]; } *p1; ... = p1->arr[2]; // load from address space 1 llvm-svn: 76717 | |||||
* | Remove an unneeded header. | Mike Stump | 2009-07-22 | 1 | -1/+0 | |
| | | | | llvm-svn: 76716 | |||||
* | Prep for new warning. | Mike Stump | 2009-07-22 | 54 | -84/+101 | |
| | | | | llvm-svn: 76709 | |||||
* | Minor mod. per Doug's comment. | Fariborz Jahanian | 2009-07-22 | 2 | -7/+16 | |
| | | | | llvm-svn: 76708 | |||||
* | Complain if we're entering the context of a dependent nested-name-specifier but | Douglas Gregor | 2009-07-22 | 3 | -2/+21 | |
| | | | | | | | cannot match that nested-name-specifier to a class template or class template partial specialization. llvm-svn: 76704 | |||||
* | Basic parsing and semantic analysis for out-of-line definitions of the | Douglas Gregor | 2009-07-21 | 8 | -26/+248 | |
| | | | | | | | | | | | | | member functions of class templates, e.g., template<typename T> struct X { void f(T); }; template<typename T> X<T>::f(T) { /* ... */ } llvm-svn: 76692 | |||||
* | Revert this, we can now avoid error cascades better. | Mike Stump | 2009-07-21 | 1 | -1/+0 | |
| | | | | llvm-svn: 76691 | |||||
* | Revert this, was a bug in my new warning code, not the test case. | Mike Stump | 2009-07-21 | 1 | -1/+0 | |
| | | | | llvm-svn: 76690 | |||||
* | Revert this, we have a better way to do this. | Mike Stump | 2009-07-21 | 1 | -4/+1 | |
| | | | | llvm-svn: 76687 | |||||
* | Revert this, we have a better way to handle this. | Mike Stump | 2009-07-21 | 1 | -4/+1 | |
| | | | | llvm-svn: 76685 | |||||
* | Revert recent change, I now have a better way to solve this (thanks Chris). | Mike Stump | 2009-07-21 | 1 | -1/+0 | |
| | | | | llvm-svn: 76681 | |||||
* | Fix long-lurking bug in ObjCSummaryCache revealed by Torok's recent memory | Ted Kremenek | 2009-07-21 | 1 | -41/+38 | |
| | | | | | | | poisoning changes to DenseMap. We were using an iterator after it had been invalidated by an insertion into the DenseMap. llvm-svn: 76677 | |||||
* | Prep for new warning. | Mike Stump | 2009-07-21 | 3 | -2/+3 | |
| | | | | llvm-svn: 76670 | |||||
* | Patch to accomodate Doug's comment on default | Fariborz Jahanian | 2009-07-21 | 9 | -47/+123 | |
| | | | | | | destruction of base/members for each destructor AST. llvm-svn: 76663 | |||||
* | Remove stale comment and fix RUN line. | Ted Kremenek | 2009-07-21 | 1 | -3/+1 | |
| | | | | llvm-svn: 76656 | |||||
* | Add test case for PR 4596, which is already fixed due to Steve Naroff's ↵ | Ted Kremenek | 2009-07-21 | 1 | -0/+3 | |
| | | | | | | overhaul of the Objective-C type system, but isn't in a checker build yet. llvm-svn: 76648 | |||||
* | Patch by Stefan Bühler: Escape text in macro expansion when emitting HTML ↵ | Ted Kremenek | 2009-07-21 | 1 | -1/+1 | |
| | | | | | | | | in the HTMLRewriter. This fixes PR 4602. llvm-svn: 76647 | |||||
* | Update stale comment. | Ted Kremenek | 2009-07-21 | 1 | -3/+2 | |
| | | | | llvm-svn: 76644 | |||||
* | Prep for new warning. | Mike Stump | 2009-07-21 | 1 | -2/+1 | |
| | | | | llvm-svn: 76643 | |||||
* | Reorder files. | Ted Kremenek | 2009-07-21 | 1 | -2/+2 | |
| | | | | llvm-svn: 76642 | |||||
* | Fix PR 4594 by refactoring almost all casting logic from GRExprEngine::VisitCast | Ted Kremenek | 2009-07-21 | 13 | -234/+238 | |
| | | | | | | | | | to SValuator::EvalCast. In the process, the StoreManagers now use this new cast machinery, and the hack in GRExprEngine::EvalBind to handle implicit casts involving OSAtomicCompareAndSwap and friends has been removed (and replaced with logic closer to the logic specific to those functions). llvm-svn: 76641 | |||||
* | Prep for new warning. | Mike Stump | 2009-07-21 | 1 | -3/+3 | |
| | | | | llvm-svn: 76640 | |||||
* | Prep for new warning. | Mike Stump | 2009-07-21 | 12 | -60/+72 | |
| | | | | llvm-svn: 76638 | |||||
* | Prep for new warning. | Mike Stump | 2009-07-21 | 2 | -3/+3 | |
| | | | | llvm-svn: 76637 | |||||
* | driver: Print --version on stdout, to match gcc. | Daniel Dunbar | 2009-07-21 | 2 | -8/+11 | |
| | | | | | | - Patch by Jean-Daniel Dupas llvm-svn: 76632 | |||||
* | Misc fixes for -Wreorder: | Eli Friedman | 2009-07-21 | 2 | -24/+53 | |
| | | | | | | | | | 1. Make it work correctly with anonymous unions. 2. Don't compute it if the warning isn't enabled. 3. Optimize the algorithm slightly to make it linear time in the case where we don't produce any warnings. llvm-svn: 76630 | |||||
* | Prep for new warning. | Mike Stump | 2009-07-21 | 1 | -2/+5 | |
| | | | | llvm-svn: 76628 | |||||
* | Prep for new warning. | Mike Stump | 2009-07-21 | 1 | -1/+4 | |
| | | | | llvm-svn: 76627 | |||||
* | Prep for new warning. | Mike Stump | 2009-07-21 | 1 | -1/+1 | |
| | | | | llvm-svn: 76626 | |||||
* | Prep for new warning. | Mike Stump | 2009-07-21 | 1 | -1/+1 | |
| | | | | llvm-svn: 76625 | |||||
* | Prep for new warning. | Mike Stump | 2009-07-21 | 1 | -0/+1 | |
| | | | | llvm-svn: 76624 | |||||
* | Prep for new warning. | Mike Stump | 2009-07-21 | 1 | -0/+1 | |
| | | | | llvm-svn: 76623 | |||||
* | Make Sema::ActOnCXXEnterDeclaratorScope robust against failures to compute | Douglas Gregor | 2009-07-21 | 2 | -4/+10 | |
| | | | | | | | the declaration context, as occurs with out-of-line class template member definitions. llvm-svn: 76622 | |||||
* | Prep for new warning. | Mike Stump | 2009-07-21 | 1 | -1/+1 | |
| | | | | llvm-svn: 76621 | |||||
* | Prep for new warning. | Mike Stump | 2009-07-21 | 1 | -0/+1 | |
| | | | | llvm-svn: 76620 | |||||
* | Prep for new warning. | Mike Stump | 2009-07-21 | 1 | -0/+1 | |
| | | | | llvm-svn: 76619 | |||||
* | Prep for new warning. | Mike Stump | 2009-07-21 | 1 | -0/+1 | |
| | | | | llvm-svn: 76617 | |||||
* | Prep for new warning. | Mike Stump | 2009-07-21 | 1 | -1/+1 | |
| | | | | llvm-svn: 76616 | |||||
* | Prep for new warning. | Mike Stump | 2009-07-21 | 1 | -0/+1 | |
| | | | | llvm-svn: 76614 | |||||
* | Prep for new warning. | Mike Stump | 2009-07-21 | 1 | -1/+1 | |
| | | | | llvm-svn: 76613 | |||||
* | Prep for new warning. | Mike Stump | 2009-07-21 | 1 | -0/+1 | |
| | | | | llvm-svn: 76611 | |||||
* | Prep for new warning. | Mike Stump | 2009-07-21 | 1 | -1/+2 | |
| | | | | llvm-svn: 76610 | |||||
* | Prep for new warning. | Mike Stump | 2009-07-21 | 1 | -1/+2 | |
| | | | | llvm-svn: 76609 | |||||
* | Prep for new warning. | Mike Stump | 2009-07-21 | 1 | -0/+1 | |
| | | | | llvm-svn: 76608 |