| Commit message (Collapse) | Author | Age | Files | Lines |
... | |
|
|
|
|
|
|
| |
Reinforces that they shouldn't be null and it's a bit more natural when
they are passed as stack objects.
llvm-svn: 77526
|
|
|
|
| |
llvm-svn: 77525
|
|
|
|
|
|
| |
-Introduce Indexer as an IndexProvider implementation.
llvm-svn: 77524
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
1) Allow the Index library (and any other interested client) to walk
the set of declarations for a given tag (enum, union, class,
whatever). At the moment, this information is not readily available.
2) Reduce our dependence on TagDecl::TypeForDecl being mapped down
to a TagType (for which getDecl() will return the tag definition, if
one exists). This property won't exist for class template partial
specializations.
3) Make the canonical declaration of a TagDecl actually canonical,
e.g., so that it does not change when the tag is defined.
llvm-svn: 77523
|
|
|
|
| |
llvm-svn: 77518
|
|
|
|
| |
llvm-svn: 77514
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
Type::getAsReferenceType() -> Type::getAs<ReferenceType>()
Type::getAsRecordType() -> Type::getAs<RecordType>()
Type::getAsPointerType() -> Type::getAs<PointerType>()
Type::getAsBlockPointerType() -> Type::getAs<BlockPointerType>()
Type::getAsLValueReferenceType() -> Type::getAs<LValueReferenceType>()
Type::getAsRValueReferenceType() -> Type::getAs<RValueReferenceType>()
Type::getAsMemberPointerType() -> Type::getAs<MemberPointerType>()
Type::getAsReferenceType() -> Type::getAs<ReferenceType>()
Type::getAsTagType() -> Type::getAs<TagType>()
And remove Type::getAsReferenceType(), etc.
This change is similar to one I made a couple weeks ago, but that was partly
reverted pending some additional design discussion. With Doug's pending smart
pointer changes for Types, it seemed natural to take this approach.
llvm-svn: 77510
|
|
|
|
|
|
|
| |
OldCastRegion used), and the associated command line option
'-analyzer-store=old-basic-cast'.
llvm-svn: 77509
|
|
|
|
| |
llvm-svn: 77506
|
|
|
|
|
|
| |
performace sake. Also added a test case.
llvm-svn: 77502
|
|
|
|
|
|
| |
with dependent types. Fixes PR4621 and PR4627.
llvm-svn: 77498
|
|
|
|
|
|
| |
class.
llvm-svn: 77497
|
|
|
|
| |
llvm-svn: 77492
|
|
|
|
|
|
| |
table as it has its own place now.
llvm-svn: 77491
|
|
|
|
|
|
|
| |
excpression, if needed, and remove some ir-gen code
now unnencessary.
llvm-svn: 77490
|
|
|
|
|
|
|
|
|
| |
A template name can refer to a set of overloaded function
templates. Model this in TemplateName, which can now refer to an
OverloadedFunctionDecl that contains function templates. This removes
an unspeakable hack in Sema::isTemplateName.
llvm-svn: 77488
|
|
|
|
|
|
| |
be moved to misc-ps.m when it passes.
llvm-svn: 77486
|
|
|
|
| |
llvm-svn: 77485
|
|
|
|
|
|
| |
we don't care about ElementRegions layered on top of a base region.
llvm-svn: 77484
|
|
|
|
|
|
|
|
|
|
| |
in StoreManager to RegionStoreManager, and create a special, highly reduced
version in BasicStoreManager.
These changes are in preparation for future RegionStore-specific changes to
InvalidateRegion.
llvm-svn: 77483
|
|
|
|
|
|
| |
index 0. This will be used for refinements to InvalidateRegion and CastRegion.
llvm-svn: 77481
|
|
|
|
| |
llvm-svn: 77479
|
|
|
|
| |
llvm-svn: 77475
|
|
|
|
| |
llvm-svn: 77474
|
|
|
|
|
|
| |
this interface design, Chris please check.
llvm-svn: 77473
|
|
|
|
|
|
|
|
| |
functions, only return those overloaded functions that are actually
function templates. Note that there is still a glaring problem with
treating an OverloadedFunctionDecl as a TemplateName.
llvm-svn: 77472
|
|
|
|
| |
llvm-svn: 77465
|
|
|
|
|
|
| |
of function templates
llvm-svn: 77464
|
|
|
|
| |
llvm-svn: 77463
|
|
|
|
|
|
|
|
| |
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
|
|
|
|
|
|
| |
for offset ir-gen.
llvm-svn: 77458
|
|
|
|
| |
llvm-svn: 77456
|
|
|
|
| |
llvm-svn: 77454
|
|
|
|
|
|
|
|
|
| |
('void *' and 'NSString *')".
Remove XFAIL from 'conditional-expr-4.m' test case (which would have caught this).
Also tweaked several aspects of the test to jive with the current type checking.
llvm-svn: 77453
|
|
|
|
| |
llvm-svn: 77452
|
|
|
|
| |
llvm-svn: 77451
|
|
|
|
| |
llvm-svn: 77447
|
|
|
|
| |
llvm-svn: 77446
|
|
|
|
|
|
|
| |
- Simplified from before and using --error-exitcode so failures show up as
failures.
llvm-svn: 77424
|
|
|
|
|
|
|
| |
do a significant amount of work in its destructor, which may access the
context. (PR4642).
llvm-svn: 77423
|
|
|
|
| |
llvm-svn: 77421
|
|
|
|
| |
llvm-svn: 77420
|
|
|
|
| |
llvm-svn: 77416
|
|
|
|
|
|
| |
and use it in several places.
llvm-svn: 77411
|
|
|
|
| |
llvm-svn: 77406
|
|
|
|
| |
llvm-svn: 77402
|
|
|
|
| |
llvm-svn: 77400
|
|
|
|
| |
llvm-svn: 77391
|
|
|
|
|
|
|
|
| |
canonicalization for dependent TemplateSpecializationTypes occurs
within ASTContext::getTemplateSpecializationType. Also, move template
argument canonicalization into ASTContext::getCanonicalTemplateArgument.
llvm-svn: 77388
|
|
|
|
| |
llvm-svn: 77386
|