lib/AST/ASTContext.cpp

591   // Check if we already have a canonical template template parameter.
600   // Build a canonical template parameter list.
672   // Create the canonical template template parameter entry.
2168   // If the base type is not canonical, make the appropriate canonical type.
2334   // If the pointee type isn't canonical, this won't be a canonical type either,
2335   // so fill in the canonical type field.
2362   // If the pointee type isn't canonical, this won't be a canonical type either,
2363   // so fill in the canonical type field.
2452   // If the block pointee type isn't canonical, this won't be a canonical
2453   // type either so fill in the canonical type field.
2489   // If the referencee type isn't canonical, this won't be a canonical type
2490   // either, so fill in the canonical type field.
2526   // If the referencee type isn't canonical, this won't be a canonical type
2527   // either, so fill in the canonical type field.
2559   // If the pointee or class type isn't canonical, this won't be a canonical
2560   // type either, so fill in the canonical type field.
2587   // Convert the array size into a canonical width matching the pointer size for
2601   // If the element type isn't canonical or has qualifiers, this won't
2602   // be a canonical type either, so fill in the canonical type field.
2639     llvm_unreachable("didn't desugar past all non-canonical types?");
2810   // also build a canonical type.
2865   // If the element type isn't canonical, this won't be a canonical type
2866   // either, so fill in the canonical type field.  We also have to pull
2904   // If the element type isn't canonical, this won't be a canonical type either,
2905   // so fill in the canonical type field.
2935   // If the element type isn't canonical, this won't be a canonical type either,
2936   // so fill in the canonical type field.
2965     // We already have a canonical version of this array type; use it as
2966     // the canonical type for a newly-built type.
2979       assert(!CanonCheck && "Dependent-sized ext_vector canonical type broken");
3029 /// \brief Determine whether \p T is canonical as the result type of a function.
3067   // Determine whether the type being created is already canonical or not.
3075   // If this type isn't canonical, get the canonical version of it.
3076   // The exception spec is not part of the canonical type.
3088     // Adjust the canonical function result type.
3137   // If the pipe element type isn't canonical, this won't be a canonical type
3138   // either, so fill in the canonical type field.
3284          && "replacement types must always be canonical");
3309     assert(P.getAsType().isCanonical() && "Pack contains non-canonical type");
3357     assert(!TypeCheck && "Template type parameter canonical type broken");
3446   // Allocate the (non-canonical) template specialization type, but don't
3472   // Build the canonical template specialization type.
3479   // Determine whether this canonical template specialization type already
3490     // Allocate a new canonical template specialization type.
3502          "Non-dependent template-id type must have a canonical type");
3522     assert(!CheckT && "Elaborated canonical type broken");
3546     assert(!CheckT && "Paren canonical type broken");
3669     // The canonical type might not contain an unexpanded parameter pack, if it
3757   // Build the canonical type, which has the canonical base type and a
3760   QualType canonical;
3768     // Determine the canonical type arguments.
3790     canonical = getObjCObjectType(getCanonicalType(baseType), canonTypeArgs,
3802     new (mem) ObjCObjectTypeImpl(canonical, baseType, typeArgs, protocols,
3887   // Find the canonical object type.
3934 /// on canonical type's (which are always unique).
3945       // We already have a "canonical" version of an identical, dependent
3946       // typeof(expr) type. Use that as our canonical type.
3950       // Build a new, canonical typeof(expr) type.
3968 /// on canonical types (which are always unique).
3995       // Build a new, canonical typeof(expr) type.
4025 /// deduced to the given type, or to the canonical undeduced 'auto' type, or the
4026 /// canonical deduced-but-dependent 'auto' type.
4060   // If the atomic value type isn't canonical, this won't be a canonical type
4061   // either, so fill in the canonical type field.
4333     // The canonical template name is the canonical template declaration.
4437     // A namespace is canonical; build a nested-name-specifier with
4443     // A namespace is canonical; build a nested-name-specifier with
4455     // as the canonical nested-name-specifier. This is required to canonicalize
4473     // The global specifier and __super specifer are canonical and unique.
4565 /// handling typedefs etc.  The canonical type of "T" must be an array type,
7642   // If the canonical type classes don't match.
7663   // The canonical type classes match.
7671     llvm_unreachable("Non-canonical and dependent types shouldn't get here");