Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | Canonicalize template template parameters. We can't test this yet, but | Douglas Gregor | 2009-07-31 | 1 | -1/+5 | |
| | | | | | | it's "obviously correct" :) llvm-svn: 77677 | |||||
* | Canonicalize function parameters | Douglas Gregor | 2009-07-31 | 1 | -0/+12 | |
| | | | | llvm-svn: 77676 | |||||
* | Canonicalization and profiling for overloaded function declarations, | Douglas Gregor | 2009-07-31 | 1 | -2/+24 | |
| | | | | | | | | for those extra-esoteric cases. Not that any two given C++ compilers agree on this test case, but this change gives us a strong definition of equivalent types. llvm-svn: 77664 | |||||
* | Canonicalization for dependent typeof(expr) types. | Douglas Gregor | 2009-07-30 | 1 | -2/+2 | |
| | | | | llvm-svn: 77639 | |||||
* | Use the new statement/expression profiling code to unique dependent | Douglas Gregor | 2009-07-29 | 1 | -0/+13 | |
| | | | | | | | | template arguments, as in template specialization types. This permits matching out-of-line definitions of members for class templates that involve non-type template parameters. llvm-svn: 77462 | |||||
* | Fix a typo in a comment | Douglas Gregor | 2009-07-28 | 1 | -1/+1 | |
| | | | | llvm-svn: 77324 | |||||
* | Profiling the pointer of a canonical type is sufficient to uniquely identify ↵ | Douglas Gregor | 2009-07-28 | 1 | -20/+13 | |
| | | | | | | the type llvm-svn: 77321 | |||||
* | Finish profile support for statements. | Douglas Gregor | 2009-07-28 | 1 | -3/+128 | |
| | | | | llvm-svn: 77320 | |||||
* | Complete profile support for C++ and Objective-C expressions | Douglas Gregor | 2009-07-28 | 1 | -62/+78 | |
| | | | | llvm-svn: 77318 | |||||
* | Add a Profile function for statements so that we can (eventually) determine | Douglas Gregor | 2009-07-28 | 1 | -0/+537 | |
when statements and expressions are equivalent. llvm-svn: 77284 |