clang 22.0.0git
Overload.h
Go to the documentation of this file.
1/===- Overload.h - C++ Overloading -----------------------------*- C++ -*-===/
2/
3/ Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4/ See https://llvm.org/LICENSE.txt for license information.
5/ SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6/
7/===----------------------------------------------------------------------===/
8/
9/ This file defines the data structures and types used in C++
10/ overload resolution.
11/
12/===----------------------------------------------------------------------===/
13
14#ifndef LLVM_CLANG_SEMA_OVERLOAD_H
15#define LLVM_CLANG_SEMA_OVERLOAD_H
16
17#include "clang/AST/Decl.h"
19#include "clang/AST/DeclBase.h"
20#include "clang/AST/DeclCXX.h"
22#include "clang/AST/Expr.h"
23#include "clang/AST/Type.h"
24#include "clang/Basic/LLVM.h"
28#include "llvm/ADT/ArrayRef.h"
29#include "llvm/ADT/STLExtras.h"
30#include "llvm/ADT/SmallPtrSet.h"
31#include "llvm/ADT/SmallVector.h"
32#include "llvm/ADT/StringRef.h"
33#include "llvm/Support/AlignOf.h"
34#include "llvm/Support/Allocator.h"
35#include "llvm/Support/Casting.h"
36#include "llvm/Support/ErrorHandling.h"
37#include <cassert>
38#include <cstddef>
39#include <cstdint>
40#include <utility>
41
42namespace clang {
43
44class APValue;
45class ASTContext;
46class Sema;
47
48 / OverloadingResult - Capture the result of performing overload
49 / resolution.
51 / Overload resolution succeeded.
53
54 / No viable function found.
56
57 / Ambiguous candidates found.
59
60 / Succeeded, but refers to a deleted function.
62 };
63
65 / Requests that all candidates be shown. Viable candidates will
66 / be printed first.
68
69 / Requests that only viable candidates be shown.
71
72 / Requests that only tied-for-best candidates be shown.
74 };
75
76 / The parameter ordering that will be used for the candidate. This is
77 / used to represent C++20 binary operator rewrites that reverse the order
78 / of the arguments. If the parameter ordering is Reversed, the Args list is
79 / reversed (but obviously the ParamDecls for the function are not).
80 /
81 / After forming an OverloadCandidate with reversed parameters, the list
82 / of conversions will (as always) be indexed by argument, so will be
83 / in reverse parameter order.
85
86 / The kinds of rewrite we perform on overload candidates. Note that the
87 / values here are chosen to serve as both bitflags and as a rank (lower
88 / values are preferred by overload resolution).
90 / Candidate is not a rewritten candidate.
91 CRK_None = 0x0,
92
93 / Candidate is a rewritten candidate with a different operator name.
95
96 / Candidate is a rewritten candidate with a reversed order of parameters.
98 };
99
100 / ImplicitConversionKind - The kind of implicit conversion used to
101 / convert an argument to a parameter's type. The enumerator values
102 / match with the table titled 'Conversions' in [over.ics.scs] and are listed
103 / such that better conversion kinds have smaller values.
105 / Identity conversion (no conversion)
107
108 / Lvalue-to-rvalue conversion (C++ [conv.lval])
110
111 / Array-to-pointer conversion (C++ [conv.array])
113
114 / Function-to-pointer (C++ [conv.array])
116
117 / Function pointer conversion (C++17 [conv.fctptr])
119
120 / Qualification conversions (C++ [conv.qual])
122
123 / Integral promotions (C++ [conv.prom])
125
126 / Floating point promotions (C++ [conv.fpprom])
128
129 / Complex promotions (Clang extension)
131
132 / Integral conversions (C++ [conv.integral])
134
135 / Floating point conversions (C++ [conv.double]
137
138 / Complex conversions (C99 6.3.1.6)
140
141 / Floating-integral conversions (C++ [conv.fpint])
143
144 / Pointer conversions (C++ [conv.ptr])
146
147 / Pointer-to-member conversions (C++ [conv.mem])
149
150 / Boolean conversions (C++ [conv.bool])
152
153 / Conversions between compatible types in C99
155
156 / Derived-to-base (C++ [over.best.ics])
158
159 / Vector conversions
161
162 / Arm SVE Vector conversions
164
165 / RISC-V RVV Vector conversions
167
168 / A vector splat from an arithmetic type
170
171 / Complex-real conversions (C99 6.3.1.7)
173
174 / Block Pointer conversions
176
177 / Transparent Union Conversions
179
180 / Objective-C ARC writeback conversion
182
183 / Zero constant to event (OpenCL1.2 6.12.10)
185
186 / Zero constant to queue
188
189 / Conversions allowed in C, but not C++
191
192 / C-only conversion between pointers with incompatible types
194
195 / Fixed point type conversions according to N1169.
197
198 / HLSL vector truncation.
200
201 / HLSL Matrix truncation.
203
204 / HLSL non-decaying array rvalue cast.
206
207 / HLSL vector splat from scalar or boolean type.
209
210 / HLSL matrix splat from scalar or boolean type.
212
213 / The number of conversion kinds
215 };
216
217 / ImplicitConversionRank - The rank of an implicit conversion
218 / kind. The enumerator values match with Table 9 of (C++
219 / 13.3.3.1.1) and are listed such that better conversion ranks
220 / have smaller values.
222 / Exact Match
224
225 / HLSL Scalar Widening
227
228 / Promotion
230
231 / HLSL Scalar Widening with promotion
233
234 / Conversion
236
237 / OpenCL Scalar Widening
239
240 / HLSL Scalar Widening with conversion
242
243 / Complex <-> Real conversion
245
246 / ObjC ARC writeback conversion
248
249 / Conversion only allowed in the C standard (e.g. void* to char*).
251
252 / Conversion not allowed by the C standard, but that we accept as an
253 / extension anyway.
255
256 / HLSL Matching Dimension Reduction
258
259 / HLSL Dimension reduction with promotion
261
262 / HLSL Dimension reduction with conversion
264 };
265
266 ImplicitConversionRank GetConversionRank(ImplicitConversionKind Kind);
267
270 ImplicitConversionKind Dimension);
271
272 / NarrowingKind - The kind of narrowing conversion being performed by a
273 / standard conversion sequence according to C++11 [dcl.init.list]p7.
275 / Not a narrowing conversion.
277
278 / A narrowing conversion by virtue of the source and destination types.
280
281 / A narrowing conversion, because a constant expression got narrowed.
283
284 / A narrowing conversion, because a non-constant-expression variable might
285 / have got narrowed.
287
288 / Cannot tell whether this is a narrowing conversion because the
289 / expression is value-dependent.
291 };
292
293 / StandardConversionSequence - represents a standard conversion
294 / sequence (C++ 13.3.3.1.1). A standard conversion sequence
295 / contains between zero and three conversions. If a particular
296 / conversion is not needed, it will be set to the identity conversion
297 / (ICK_Identity).
299 public:
300 / First -- The first conversion can be an lvalue-to-rvalue
301 / conversion, array-to-pointer conversion, or
302 / function-to-pointer conversion.
304
305 / Second - The second conversion can be an integral promotion,
306 / floating point promotion, integral conversion, floating point
307 / conversion, floating-integral conversion, pointer conversion,
308 / pointer-to-member conversion, or boolean conversion.
310
311 / Dimension - Between the second and third conversion a vector or matrix
312 / dimension conversion may occur. If this is not ICK_Identity this
313 / conversion truncates the vector or matrix, or extends a scalar.
315
316 / Third - The third conversion can be a qualification conversion
317 / or a function conversion.
319
320 / Whether this is the deprecated conversion of a
321 / string literal to a pointer to non-const character data
322 / (C++ 4.2p2).
323 LLVM_PREFERRED_TYPE(bool)
325
326 / Whether the qualification conversion involves a change in the
327 / Objective-C lifetime (for automatic reference counting).
328 LLVM_PREFERRED_TYPE(bool)
330
331 / IncompatibleObjC - Whether this is an Objective-C conversion
332 / that we should warn about (if we actually use it).
333 LLVM_PREFERRED_TYPE(bool)
334 unsigned IncompatibleObjC : 1;
335
336 / ReferenceBinding - True when this is a reference binding
337 / (C++ [over.ics.ref]).
338 LLVM_PREFERRED_TYPE(bool)
339 unsigned ReferenceBinding : 1;
340
341 / DirectBinding - True when this is a reference binding that is a
342 / direct binding (C++ [dcl.init.ref]).
343 LLVM_PREFERRED_TYPE(bool)
344 unsigned DirectBinding : 1;
345
346 / Whether this is an lvalue reference binding (otherwise, it's
347 / an rvalue reference binding).
348 LLVM_PREFERRED_TYPE(bool)
349 unsigned IsLvalueReference : 1;
350
351 / Whether we're binding to a function lvalue.
352 LLVM_PREFERRED_TYPE(bool)
354
355 / Whether we're binding to an rvalue.
356 LLVM_PREFERRED_TYPE(bool)
357 unsigned BindsToRvalue : 1;
358
359 / Whether this binds an implicit object argument to a
360 / non-static member function without a ref-qualifier.
361 LLVM_PREFERRED_TYPE(bool)
363
364 / Whether this binds a reference to an object with a different
365 / Objective-C lifetime qualifier.
366 LLVM_PREFERRED_TYPE(bool)
368
369 / Whether the source expression was originally a single element
370 / braced-init-list. Such a conversion is not a perfect match,
371 / as we prefer a std::initializer_list constructor over an exact match
372 / constructor.
373 LLVM_PREFERRED_TYPE(bool)
374 unsigned FromBracedInitList : 1;
375
376 / FromType - The type that this conversion is converting
377 / from. This is an opaque pointer that can be translated into a
378 / QualType.
380
381 / ToType - The types that this conversion is converting to in
382 / each step. This is an opaque pointer that can be translated
383 / into a QualType.
384 void *ToTypePtrs[3];
385
386 / CopyConstructor - The copy constructor that is used to perform
387 / this conversion, when the conversion is actually just the
388 / initialization of an object via copy constructor. Such
389 / conversions are either identity conversions or derived-to-base
390 / conversions.
393
394 void setFromType(QualType T) { FromTypePtr = T.getAsOpaquePtr(); }
395
396 void setToType(unsigned Idx, QualType T) {
397 assert(Idx < 3 && "To type index is out of range");
398 ToTypePtrs[Idx] = T.getAsOpaquePtr();
399 }
400
402 ToTypePtrs[0] = T.getAsOpaquePtr();
403 ToTypePtrs[1] = ToTypePtrs[0];
404 ToTypePtrs[2] = ToTypePtrs[0];
405 }
406
410
411 QualType getToType(unsigned Idx) const {
412 assert(Idx < 3 && "To type index is out of range");
414 }
415
417
418 bool isIdentityConversion() const {
419 return Second == ICK_Identity && Dimension == ICK_Identity &&
421 }
422
423 / A conversion sequence is perfect if it is an identity conversion and
424 / the type of the source is the same as the type of the target.
425 bool isPerfect(const ASTContext &C) const {
427 return false;
428
429 / We might prefer a std::initializer_list constructor,
430 / so this sequence cannot be perfect
432 return false;
433
434 / If we are not performing a reference binding, we can skip comparing
435 / the types, which has a noticeable performance impact.
436 if (!ReferenceBinding) {
437#ifndef NDEBUG
438 auto Decay = [&](QualType T) {
439 if (T->isArrayType() || T->isFunctionType())
440 T = C.getDecayedType(T);
441
442 / A function pointer type can be resolved to a member function type,
443 / which is still an identity conversion.
444 if (auto *N = T->getAs<MemberPointerType>();
445 N && N->isMemberFunctionPointer())
446 T = C.getDecayedType(N->getPointeeType());
447 return T;
448 };
449 / The types might differ if there is an array-to-pointer conversion
450 / an function-to-pointer conversion, or lvalue-to-rvalue conversion.
451 / In some cases, this may happen even if First is not set.
452 assert(C.hasSameUnqualifiedType(Decay(getFromType()),
453 Decay(getToType(2))));
454#endif
455 return true;
456 }
457 if (!C.hasSameType(getFromType(), getToType(2)))
458 return false;
460 return false;
461 return true;
462 }
463
466 getNarrowingKind(ASTContext &Context, const Expr *Converted,
467 APValue &ConstantValue, QualType &ConstantType,
468 bool IgnoreFloatToIntegralConversion = false) const;
469 bool isPointerConversionToBool() const;
470 bool isPointerConversionToVoidPointer(ASTContext& Context) const;
471 void dump() const;
472 };
473
474 / UserDefinedConversionSequence - Represents a user-defined
475 / conversion sequence (C++ 13.3.3.1.2).
477 / Represents the standard conversion that occurs before
478 / the actual user-defined conversion.
479 /
480 / C++11 13.3.3.1.2p1:
481 / If the user-defined conversion is specified by a constructor
482 / (12.3.1), the initial standard conversion sequence converts
483 / the source type to the type required by the argument of the
484 / constructor. If the user-defined conversion is specified by
485 / a conversion function (12.3.2), the initial standard
486 / conversion sequence converts the source type to the implicit
487 / object parameter of the conversion function.
489
490 / EllipsisConversion - When this is true, it means user-defined
491 / conversion sequence starts with a ... (ellipsis) conversion, instead of
492 / a standard conversion. In this case, 'Before' field must be ignored.
493 / FIXME. I much rather put this as the first field. But there seems to be
494 / a gcc code gen. bug which causes a crash in a test. Putting it here seems
495 / to work around the crash.
497
498 / HadMultipleCandidates - When this is true, it means that the
499 / conversion function was resolved from an overloaded set having
500 / size greater than 1.
502
503 / After - Represents the standard conversion that occurs after
504 / the actual user-defined conversion.
506
507 / ConversionFunction - The function that will perform the
508 / user-defined conversion. Null if the conversion is an
509 / aggregate initialization from an initializer list.
511
512 / The declaration that we found via name lookup, which might be
513 / the same as \c ConversionFunction or it might be a using declaration
514 / that refers to \c ConversionFunction.
516
517 void dump() const;
518 };
519
520 / Represents an ambiguous user-defined conversion sequence.
524
527 char Buffer[sizeof(ConversionSet)];
528
532
536
537 void setFromType(QualType T) { FromTypePtr = T.getAsOpaquePtr(); }
538 void setToType(QualType T) { ToTypePtr = T.getAsOpaquePtr(); }
539
541 return *reinterpret_cast<ConversionSet*>(Buffer);
542 }
543
544 const ConversionSet &conversions() const {
545 return *reinterpret_cast<const ConversionSet*>(Buffer);
546 }
547
549 conversions().push_back(std::make_pair(Found, D));
550 }
551
552 using iterator = ConversionSet::iterator;
553
554 iterator begin() { return conversions().begin(); }
555 iterator end() { return conversions().end(); }
556
557 using const_iterator = ConversionSet::const_iterator;
558
559 const_iterator begin() const { return conversions().begin(); }
560 const_iterator end() const { return conversions().end(); }
561
562 void construct();
563 void destruct();
565 };
566
567 / BadConversionSequence - Records information about an invalid
568 / conversion sequence.
579
580 / This can be null, e.g. for implicit object arguments.
582
584
585 private:
586 / The type we're converting from (an opaque QualType).
587 void *FromTy;
588
589 / The type we're converting to (an opaque QualType).
590 void *ToTy;
591
592 public:
593 void init(FailureKind K, Expr *From, QualType To) {
594 init(K, From->getType(), To);
595 FromExpr = From;
596 }
597
598 void init(FailureKind K, QualType From, QualType To) {
599 Kind = K;
600 FromExpr = nullptr;
601 setFromType(From);
602 setToType(To);
603 }
604
607
608 void setFromExpr(Expr *E) {
609 FromExpr = E;
610 setFromType(E->getType());
611 }
612
613 void setFromType(QualType T) { FromTy = T.getAsOpaquePtr(); }
614 void setToType(QualType T) { ToTy = T.getAsOpaquePtr(); }
615 };
616
617 / ImplicitConversionSequence - Represents an implicit conversion
618 / sequence, which may be a standard conversion sequence
619 / (C++ 13.3.3.1.1), user-defined conversion sequence (C++ 13.3.3.1.2),
620 / or an ellipsis conversion sequence (C++ 13.3.3.1.3).
622 public:
623 / Kind - The kind of implicit conversion sequence. BadConversion
624 / specifies that there is no conversion from the source type to
625 / the target type. AmbiguousConversion represents the unique
626 / ambiguous conversion (C++0x [over.best.ics]p10).
627 / StaticObjectArgumentConversion represents the conversion rules for
628 / the synthesized first argument of calls to static member functions
629 / ([over.best.ics.general]p8).
638
639 private:
640 enum {
642 };
643
644 / ConversionKind - The kind of implicit conversion sequence.
645 LLVM_PREFERRED_TYPE(Kind)
646 unsigned ConversionKind : 31;
647
648 / Whether the initializer list was of an incomplete array.
649 LLVM_PREFERRED_TYPE(bool)
650 unsigned InitializerListOfIncompleteArray : 1;
651
652 / When initializing an array or std::initializer_list from an
653 / initializer-list, this is the array or std::initializer_list type being
654 / initialized. The remainder of the conversion sequence, including ToType,
655 / describe the worst conversion of an initializer to an element of the
656 / array or std::initializer_list. (Note, 'worst' is not well defined.)
657 QualType InitializerListContainerType;
658
659 void setKind(Kind K) {
660 destruct();
661 ConversionKind = K;
662 }
663
664 void destruct() {
665 if (ConversionKind == AmbiguousConversion) Ambiguous.destruct();
666 }
667
668 public:
669 union {
670 / When ConversionKind == StandardConversion, provides the
671 / details of the standard conversion sequence.
673
674 / When ConversionKind == UserDefinedConversion, provides the
675 / details of the user-defined conversion sequence.
677
678 / When ConversionKind == AmbiguousConversion, provides the
679 / details of the ambiguous conversion.
681
682 / When ConversionKind == BadConversion, provides the details
683 / of the bad conversion.
685 };
686
688 : ConversionKind(Uninitialized),
689 InitializerListOfIncompleteArray(false) {
690 Standard.setAsIdentityConversion();
691 }
692
694 : ConversionKind(Other.ConversionKind),
695 InitializerListOfIncompleteArray(
696 Other.InitializerListOfIncompleteArray),
697 InitializerListContainerType(Other.InitializerListContainerType) {
698 switch (ConversionKind) {
699 case Uninitialized: break;
700 case StandardConversion: Standard = Other.Standard; break;
702 break;
703 case UserDefinedConversion: UserDefined = Other.UserDefined; break;
704 case AmbiguousConversion: Ambiguous.copyFrom(Other.Ambiguous); break;
705 case EllipsisConversion: break;
706 case BadConversion: Bad = Other.Bad; break;
707 }
708 }
709
712 destruct();
714 return *this;
715 }
716
718 destruct();
719 }
720
721 Kind getKind() const {
722 assert(isInitialized() && "querying uninitialized conversion");
723 return Kind(ConversionKind);
724 }
725
726 / Return a ranking of the implicit conversion sequence
727 / kind, where smaller ranks represent better conversion
728 / sequences.
729 /
730 / In particular, this routine gives user-defined conversion
731 / sequences and ambiguous conversion sequences the same rank,
732 / per C++ [over.best.ics]p10.
733 unsigned getKindRank() const {
734 switch (getKind()) {
737 return 0;
738
741 return 1;
742
744 return 2;
745
746 case BadConversion:
747 return 3;
748 }
749
750 llvm_unreachable("Invalid ImplicitConversionSequence::Kind!");
751 }
752
753 bool isBad() const { return getKind() == BadConversion; }
754 bool isStandard() const { return getKind() == StandardConversion; }
757 }
758 bool isEllipsis() const { return getKind() == EllipsisConversion; }
759 bool isAmbiguous() const { return getKind() == AmbiguousConversion; }
760 bool isUserDefined() const { return getKind() == UserDefinedConversion; }
761 bool isFailure() const { return isBad() || isAmbiguous(); }
762
763 / Determines whether this conversion sequence has been
764 / initialized. Most operations should never need to query
765 / uninitialized conversions and should assert as above.
766 bool isInitialized() const { return ConversionKind != Uninitialized; }
767
768 / Sets this sequence as a bad conversion for an explicit argument.
770 Expr *FromExpr, QualType ToType) {
771 setKind(BadConversion);
772 Bad.init(Failure, FromExpr, ToType);
773 }
774
775 / Sets this sequence as a bad conversion for an implicit argument.
777 QualType FromType, QualType ToType) {
778 setKind(BadConversion);
779 Bad.init(Failure, FromType, ToType);
780 }
781
782 void setStandard() { setKind(StandardConversion); }
784 void setEllipsis() { setKind(EllipsisConversion); }
786
788 if (ConversionKind == AmbiguousConversion) return;
789 ConversionKind = AmbiguousConversion;
790 Ambiguous.construct();
791 }
792
794 setStandard();
795 Standard.setAsIdentityConversion();
796 Standard.setFromType(T);
797 Standard.setAllToTypes(T);
798 }
799
800 / A conversion sequence is perfect if it is an identity conversion and
801 / the type of the source is the same as the type of the target.
802 bool isPerfect(const ASTContext &C) const {
803 return isStandard() && Standard.isPerfect(C);
804 }
805
806 / True iff this is a conversion sequence from an initializer list to an
807 / array or std::initializer.
809 return !InitializerListContainerType.isNull();
810 }
812 InitializerListContainerType = T;
813 InitializerListOfIncompleteArray = IA;
814 }
816 return InitializerListOfIncompleteArray;
817 }
820 "not initializer list container");
821 return InitializerListContainerType;
822 }
823
824 / Form an "implicit" conversion sequence from nullptr_t to bool, for a
825 / direct-initialization of a bool object from nullptr_t.
827 QualType DestType,
828 bool NeedLValToRVal) {
830 ICS.setStandard();
832 ICS.Standard.setFromType(SourceType);
833 if (NeedLValToRVal)
835 ICS.Standard.setToType(0, SourceType);
837 ICS.Standard.setToType(1, DestType);
838 ICS.Standard.setToType(2, DestType);
839 return ICS;
840 }
841
842 / The result of a comparison between implicit conversion
843 / sequences. Use Sema::CompareImplicitConversionSequences to
844 / actually perform the comparison.
850
852 SourceLocation CaretLoc,
853 const PartialDiagnostic &PDiag) const;
854
855 void dump() const;
856 };
857
863
864 / This conversion candidate was not considered because it
865 / duplicates the work of a trivial or derived-to-base
866 / conversion.
868
869 / This conversion candidate was not considered because it is
870 / an illegal instantiation of a constructor temploid: it is
871 / callable with one argument, we only have one argument, and
872 / its first parameter type is exactly the type of the class.
873 /
874 / Defining such a constructor directly is illegal, and
875 / template-argument deduction is supposed to ignore such
876 / instantiations, but we can still get one with the right
877 / kind of implicit instantiation.
879
880 / This conversion candidate is not viable because its result
881 / type is not implicitly convertible to the desired type.
883
884 / This conversion function template specialization candidate is not
885 / viable because the final conversion was not an exact match.
887
888 / (CUDA) This candidate was not viable because the callee
889 / was not accessible from the caller's target (i.e. host->device,
890 / global->host, device->host).
892
893 / This candidate function was not viable because an enable_if
894 / attribute disabled it.
896
897 / This candidate constructor or conversion function is explicit but
898 / the context doesn't permit explicit functions.
900
901 / This candidate was not viable because its address could not be taken.
903
904 / This inherited constructor is not viable because it would slice the
905 / argument.
907
908 / This candidate was not viable because it is a non-default multiversioned
909 / function.
911
912 / This constructor/conversion candidate fail due to an address space
913 / mismatch between the object being constructed and the overload
914 / candidate.
916
917 / This candidate was not viable because its associated constraints were
918 / not satisfied.
920
921 / This candidate was not viable because it has internal linkage and is
922 / from a different module unit than the use.
924 };
925
926 / A list of implicit conversion sequences for the arguments of an
927 / OverloadCandidate.
930
931 / OverloadCandidate - A single candidate in an overload set (C++ 13.3).
932 struct OverloadCandidate {
933 / Function - The actual function that this candidate
934 / represents. When NULL, this is a built-in candidate
935 / (C++ [over.oper]) or a surrogate for a conversion to a
936 / function pointer or reference (C++ [over.call.object]).
938
939 / FoundDecl - The original declaration that was looked up /
940 / invented / otherwise found, together with its access.
941 / Might be a UsingShadowDecl or a FunctionTemplateDecl.
943
944 / BuiltinParamTypes - Provides the parameter types of a built-in overload
945 / candidate. Only valid when Function is NULL.
947
948 / Surrogate - The conversion function for which this candidate
949 / is a surrogate, but only if IsSurrogate is true.
951
952 / The conversion sequences used to convert the function arguments
953 / to the function parameters. Note that these are indexed by argument,
954 / so may not match the parameter order of Function.
956
957 / The FixIt hints which can be used to fix the Bad candidate.
959
960 / Viable - True to indicate that this overload candidate is viable.
961 LLVM_PREFERRED_TYPE(bool)
963
964 / Whether this candidate is the best viable function, or tied for being
965 / the best viable function.
966 /
967 / For an ambiguous overload resolution, indicates whether this candidate
968 / was part of the ambiguity kernel: the minimal non-empty set of viable
969 / candidates such that all elements of the ambiguity kernel are better
970 / than all viable candidates not in the ambiguity kernel.
971 LLVM_PREFERRED_TYPE(bool)
972 unsigned Best : 1;
973
974 / IsSurrogate - True to indicate that this candidate is a
975 / surrogate for a conversion to a function pointer or reference
976 / (C++ [over.call.object]).
977 LLVM_PREFERRED_TYPE(bool)
978 unsigned IsSurrogate : 1;
979
980 / IgnoreObjectArgument - True to indicate that the first
981 / argument's conversion, which for this function represents the
982 / implicit object argument, should be ignored. This will be true
983 / when the candidate is a static member function (where the
984 / implicit object argument is just a placeholder) or a
985 / non-static member function when the call doesn't have an
986 / object argument.
987 LLVM_PREFERRED_TYPE(bool)
989
990 LLVM_PREFERRED_TYPE(bool)
992
993 / Have we matched any packs on the parameter side, versus any non-packs on
994 / the argument side, in a context where the opposite matching is also
995 / allowed?
996 LLVM_PREFERRED_TYPE(bool)
997 unsigned StrictPackMatch : 1;
998
999 / True if the candidate was found using ADL.
1000 LLVM_PREFERRED_TYPE(CallExpr::ADLCallKind)
1001 unsigned IsADLCandidate : 1;
1002
1003 / Whether FinalConversion has been set.
1004 LLVM_PREFERRED_TYPE(bool)
1006
1007 / Whether this is a rewritten candidate, and if so, of what kind?
1008 LLVM_PREFERRED_TYPE(OverloadCandidateRewriteKind)
1009 unsigned RewriteKind : 2;
1010
1011 / FailureKind - The reason why this candidate is not viable.
1012 / Actually an OverloadFailureKind.
1013 LLVM_PREFERRED_TYPE(OverloadFailureKind)
1014 unsigned FailureKind : 8;
1015
1016 / The number of call arguments that were explicitly provided,
1017 / to be used while performing partial ordering of function templates.
1019
1020 union {
1022
1023 / FinalConversion - For a conversion function (where Function is
1024 / a CXXConversionDecl), the standard conversion that occurs
1025 / after the call to the overload candidate to convert the result
1026 / of calling the conversion function to the required type.
1028 };
1029
1030 / Get RewriteKind value in OverloadCandidateRewriteKind type (This
1031 / function is to workaround the spurious GCC bitfield enum warning)
1035
1036 bool isReversed() const { return getRewriteKind() & CRK_Reversed; }
1037
1038 / hasAmbiguousConversion - Returns whether this overload
1039 / candidate requires an ambiguous conversion or not.
1041 for (auto &C : Conversions) {
1042 if (!C.isInitialized()) return false;
1043 if (C.isAmbiguous()) return true;
1044 }
1045 return false;
1046 }
1047
1048 / An overload is a perfect match if the conversion
1049 / sequences for each argument are perfect.
1050 bool isPerfectMatch(const ASTContext &Ctx) const {
1051 if (!Viable)
1052 return false;
1053 for (const auto &C : Conversions) {
1054 if (!C.isInitialized() || !C.isPerfect(Ctx))
1055 return false;
1056 }
1058 return FinalConversion.isPerfect(Ctx);
1059 return true;
1060 }
1061
1062 bool TryToFixBadConversion(unsigned Idx, Sema &S) {
1063 bool CanFix = Fix.tryToFixConversion(
1064 Conversions[Idx].Bad.FromExpr,
1065 Conversions[Idx].Bad.getFromType(),
1066 Conversions[Idx].Bad.getToType(), S);
1067
1068 / If at least one conversion fails, the candidate cannot be fixed.
1069 if (!CanFix)
1070 Fix.clear();
1071
1072 return CanFix;
1073 }
1074
1075 unsigned getNumParams() const {
1076 if (IsSurrogate) {
1077 QualType STy = Surrogate->getConversionType();
1078 while (STy->isPointerOrReferenceType())
1079 STy = STy->getPointeeType();
1080 return STy->castAs<FunctionProtoType>()->getNumParams();
1081 }
1082 if (Function)
1083 return Function->getNumParams();
1084 return ExplicitCallArguments;
1085 }
1086
1088
1089 private:
1091 OverloadCandidate()
1094 IsADLCandidate(llvm::to_underlying(CallExpr::NotADL)),
1096 };
1097
1099
1100 / intrusive linked list support for allocateDeferredCandidate
1102
1104
1105 LLVM_PREFERRED_TYPE(Kind)
1107 LLVM_PREFERRED_TYPE(bool)
1109 LLVM_PREFERRED_TYPE(bool)
1111 LLVM_PREFERRED_TYPE(bool)
1112 unsigned AllowExplicit : 1;
1113 LLVM_PREFERRED_TYPE(bool)
1115 LLVM_PREFERRED_TYPE(bool)
1117 LLVM_PREFERRED_TYPE(bool)
1119 };
1120
1129 static_assert(std::is_trivially_destructible_v<
1131
1142 static_assert(std::is_trivially_destructible_v<
1144
1153
1154 static_assert(std::is_trivially_destructible_v<
1156
1157 / OverloadCandidateSet - A set of overload candidates, used in C++
1158 / overload resolution (C++ 13.3).
1160 public:
1162 / Normal lookup.
1164
1165 / C++ [over.match.oper]:
1166 / Lookup of operator function candidates in a call using operator
1167 / syntax. Candidates that have no parameters of class type will be
1168 / skipped unless there is a parameter of (reference to) enum type and
1169 / the corresponding argument is of the same enum type.
1171
1172 / C++ [over.match.copy]:
1173 / Copy-initialization of an object of class type by user-defined
1174 / conversion.
1176
1177 / C++ [over.match.ctor], [over.match.list]
1178 / Initialization of an object of class type by constructor,
1179 / using either a parenthesized or braced list of arguments.
1181
1182 / C++ [over.match.call.general]
1183 / Resolve a call through the address of an overload set.
1185
1186 / When doing overload resolution during code completion,
1187 / we want to show all viable candidates, including otherwise
1188 / deferred template candidates.
1190 };
1191
1192 / Information about operator rewrites to consider when adding operator
1193 / functions to a candidate set.
1198 bool AllowRewritten)
1200 AllowRewrittenCandidates(AllowRewritten) {}
1201
1202 / The original operator as written in the source.
1204 / The source location of the operator.
1206 / Whether we should include rewritten candidates in the overload set.
1208
1209 / Would use of this function result in a rewrite using a different
1210 / operator?
1211 bool isRewrittenOperator(const FunctionDecl *FD) const {
1212 return OriginalOperator &&
1214 }
1215
1216 bool isAcceptableCandidate(const FunctionDecl *FD) const {
1217 if (!OriginalOperator)
1218 return true;
1219
1220 / For an overloaded operator, we can have candidates with a different
1221 / name in our unqualified lookup set. Make sure we only consider the
1222 / ones we're supposed to.
1225 return OO && (OO == OriginalOperator ||
1228 }
1229
1230 / Determine the kind of rewrite that should be performed for this
1231 / candidate.
1241 / Determines whether this operator could be implemented by a function
1242 / with reversed parameter order.
1248
1249 / Determine whether reversing parameter order is allowed for operator
1250 / Op.
1251 bool allowsReversed(OverloadedOperatorKind Op) const;
1252
1253 / Determine whether we should add a rewritten candidate for \p FD with
1254 / reversed parameter order.
1255 / \param OriginalArgs are the original non reversed arguments.
1256 bool shouldAddReversed(Sema &S, ArrayRef<Expr *> OriginalArgs,
1257 FunctionDecl *FD) const;
1258 };
1259
1260 private:
1263
1264 DeferredTemplateOverloadCandidate *FirstDeferredCandidate = nullptr;
1265 unsigned DeferredCandidatesCount : 8 * sizeof(unsigned) - 2;
1266 LLVM_PREFERRED_TYPE(bool)
1267 unsigned HasDeferredTemplateConstructors : 1;
1268 LLVM_PREFERRED_TYPE(bool)
1269 unsigned ResolutionByPerfectCandidateIsDisabled : 1;
1270
1271 / Allocator for ConversionSequenceLists and deferred candidate args.
1272 / We store the first few of these
1273 / inline to avoid allocation for small sets.
1274 llvm::BumpPtrAllocator SlabAllocator;
1275
1276 SourceLocation Loc;
1277 CandidateSetKind Kind;
1278 OperatorRewriteInfo RewriteInfo;
1279
1280 / Small storage size for ImplicitConversionSequences
1281 / and the persisted arguments of deferred candidates.
1282 constexpr static unsigned NumInlineBytes =
1283 32 * sizeof(ImplicitConversionSequence);
1284
1285 unsigned NumInlineBytesUsed = 0;
1286 alignas(void *) char InlineSpace[NumInlineBytes];
1287
1288 / Address space of the object being constructed.
1289 LangAS DestAS = LangAS::Default;
1290
1291 / If we have space, allocates from inline storage. Otherwise, allocates
1292 / from the slab allocator.
1293 / FIXME: It would probably be nice to have a SmallBumpPtrAllocator
1294 / instead.
1295 template <typename T>
1296 T *slabAllocate(unsigned N) {
1297 / It's simpler if this doesn't need to consider alignment.
1298 static_assert(alignof(T) == alignof(void *),
1299 "Only works for pointer-aligned types.");
1300 static_assert(std::is_trivially_destructible_v<T> ||
1301 (std::is_same_v<ImplicitConversionSequence, T>),
1302 "Add destruction logic to OverloadCandidateSet::clear().");
1303
1304 unsigned NBytes = sizeof(T) * N;
1305 if (NBytes > NumInlineBytes - NumInlineBytesUsed)
1306 return SlabAllocator.Allocate<T>(N);
1307 char *FreeSpaceStart = InlineSpace + NumInlineBytesUsed;
1308 assert(uintptr_t(FreeSpaceStart) % alignof(void *) == 0 &&
1309 "Misaligned storage!");
1310
1311 NumInlineBytesUsed += NBytes;
1312 return reinterpret_cast<T *>(FreeSpaceStart);
1313 }
1314
1315 / Because the size of OverloadCandidateSet has a noticeable impact on
1316 / performance, we store each deferred template candidate in the slab
1317 / allocator such that deferred candidates are ultimately a singly-linked
1318 / intrusive linked list. This ends up being much more efficient than a
1319 / SmallVector that is empty in the common case.
1320 template <typename T> T *allocateDeferredCandidate() {
1321 T *C = slabAllocate<T>(1);
1322 if (!FirstDeferredCandidate)
1323 FirstDeferredCandidate = C;
1324 else {
1325 auto *F = FirstDeferredCandidate;
1326 while (F->Next)
1327 F = F->Next;
1328 F->Next = C;
1329 }
1330 DeferredCandidatesCount++;
1331 return C;
1332 }
1333
1334 void destroyCandidates();
1335
1336 public:
1338 OperatorRewriteInfo RewriteInfo = {})
1339 : FirstDeferredCandidate(nullptr), DeferredCandidatesCount(0),
1340 HasDeferredTemplateConstructors(false),
1341 ResolutionByPerfectCandidateIsDisabled(false), Loc(Loc), Kind(CSK),
1342 RewriteInfo(RewriteInfo) {}
1345 ~OverloadCandidateSet() { destroyCandidates(); }
1346
1347 SourceLocation getLocation() const { return Loc; }
1348 CandidateSetKind getKind() const { return Kind; }
1349 OperatorRewriteInfo getRewriteInfo() const { return RewriteInfo; }
1350
1351 / Whether diagnostics should be deferred.
1352 bool shouldDeferDiags(Sema &S, ArrayRef<Expr *> Args, SourceLocation OpLoc);
1353
1354 / Whether the resolution of template candidates should be deferred
1355 bool shouldDeferTemplateArgumentDeduction(const LangOptions &Opts) const;
1356
1357 / Determine when this overload candidate will be new to the
1358 / overload set.
1361 uintptr_t Key = reinterpret_cast<uintptr_t>(F->getCanonicalDecl());
1362 Key |= static_cast<uintptr_t>(PO);
1363 return Functions.insert(Key).second;
1364 }
1365
1366 / Exclude a function from being considered by overload resolution.
1371
1372 / Clear out all of the candidates.
1373 void clear(CandidateSetKind CSK);
1374
1376
1377 iterator begin() { return Candidates.begin(); }
1378 iterator end() { return Candidates.end(); }
1379
1380 size_t size() const { return Candidates.size() + DeferredCandidatesCount; }
1381
1382 size_t nonDeferredCandidatesCount() const { return Candidates.size(); }
1383
1384 bool empty() const {
1385 return Candidates.empty() && DeferredCandidatesCount == 0;
1386 }
1387
1388 / Allocate storage for conversion sequences for NumConversions
1389 / conversions.
1391 allocateConversionSequences(unsigned NumConversions) {
1392 ImplicitConversionSequence *Conversions =
1393 slabAllocate<ImplicitConversionSequence>(NumConversions);
1394
1395 / Construct the new objects.
1396 for (unsigned I = 0; I != NumConversions; ++I)
1397 new (&Conversions[I]) ImplicitConversionSequence();
1398
1399 return ConversionSequenceList(Conversions, NumConversions);
1400 }
1401
1402 / Provide storage for any Expr* arg that must be preserved
1403 / until deferred template candidates are deduced.
1404 / Typically this should be used for reversed operator arguments
1405 / and any time the argument array is transformed while adding
1406 / a template candidate.
1408 Expr **Exprs = slabAllocate<Expr *>(N);
1409 return llvm::MutableArrayRef<Expr *>(Exprs, N);
1410 }
1411
1412 template <typename... T>
1415 getPersistentArgsArray(sizeof...(Exprs));
1416 llvm::copy(std::initializer_list<Expr *>{Exprs...}, Arr.data());
1417 return Arr;
1418 }
1419
1420 / Add a new candidate with NumConversions conversion sequence slots
1421 / to the overload set.
1422 OverloadCandidate &addCandidate(unsigned NumConversions = 0,
1423 ConversionSequenceList Conversions = {}) {
1424 assert((Conversions.empty() || Conversions.size() == NumConversions) &&
1425 "preallocated conversion sequence has wrong length");
1426
1427 Candidates.push_back(OverloadCandidate());
1428 OverloadCandidate &C = Candidates.back();
1429 C.Conversions = Conversions.empty()
1430 ? allocateConversionSequences(NumConversions)
1431 : Conversions;
1432 return C;
1433 }
1434
1435 void AddDeferredTemplateCandidate(
1436 FunctionTemplateDecl *FunctionTemplate, DeclAccessPair FoundDecl,
1437 ArrayRef<Expr *> Args, bool SuppressUserConversions,
1438 bool PartialOverloading, bool AllowExplicit,
1439 CallExpr::ADLCallKind IsADLCandidate, OverloadCandidateParamOrder PO,
1440 bool AggregateCandidateDeduction);
1441
1442 void AddDeferredMethodTemplateCandidate(
1443 FunctionTemplateDecl *MethodTmpl, DeclAccessPair FoundDecl,
1444 CXXRecordDecl *ActingContext, QualType ObjectType,
1445 Expr::Classification ObjectClassification, ArrayRef<Expr *> Args,
1446 bool SuppressUserConversions, bool PartialOverloading,
1447 OverloadCandidateParamOrder PO);
1448
1449 void AddDeferredConversionTemplateCandidate(
1450 FunctionTemplateDecl *FunctionTemplate, DeclAccessPair FoundDecl,
1451 CXXRecordDecl *ActingContext, Expr *From, QualType ToType,
1452 bool AllowObjCConversionOnExplicit, bool AllowExplicit,
1453 bool AllowResultConversion);
1454
1455 void InjectNonDeducedTemplateCandidates(Sema &S);
1456
1458 ResolutionByPerfectCandidateIsDisabled = true;
1459 }
1460
1461 / Find the best viable function on this overload set, if it exists.
1462 OverloadingResult BestViableFunction(Sema &S, SourceLocation Loc,
1464
1465 SmallVector<OverloadCandidate *, 32> CompleteCandidates(
1468 llvm::function_ref<bool(OverloadCandidate &)> Filter =
1469 [](OverloadCandidate &) { return true; });
1470
1471 void NoteCandidates(
1472 PartialDiagnosticAt PA, Sema &S, OverloadCandidateDisplayKind OCD,
1473 ArrayRef<Expr *> Args, StringRef Opc = "",
1474 SourceLocation Loc = SourceLocation(),
1475 llvm::function_ref<bool(OverloadCandidate &)> Filter =
1476 [](OverloadCandidate &) { return true; });
1477
1478 void NoteCandidates(Sema &S, ArrayRef<Expr *> Args,
1479 ArrayRef<OverloadCandidate *> Cands,
1480 StringRef Opc = "",
1481 SourceLocation OpLoc = SourceLocation());
1482
1483 LangAS getDestAS() { return DestAS; }
1484
1486 assert((Kind == CSK_InitByConstructor ||
1488 "can't set the destination address space when not constructing an "
1489 "object");
1490 DestAS = AS;
1491 }
1492
1493 private:
1494 OverloadingResult ResultForBestCandidate(const iterator &Best);
1495 void CudaExcludeWrongSideCandidates(
1498 BestViableFunctionImpl(Sema &S, SourceLocation Loc,
1500 };
1501
1502 bool isBetterOverloadCandidate(Sema &S, const OverloadCandidate &Cand1,
1503 const OverloadCandidate &Cand2,
1504 SourceLocation Loc,
1506 bool PartialOverloading = false);
1507
1515
1516 / FIXME: Add an AddOverloadCandidate / AddTemplateOverloadCandidate overload
1517 / that takes one of these.
1519 if (isa<UsingDecl>(ND))
1520 return ConstructorInfo{};
1521
1522 / For constructors, the access check is performed against the underlying
1523 / declaration, not the found declaration.
1524 auto *D = ND->getUnderlyingDecl();
1525 ConstructorInfo Info = {DeclAccessPair::make(ND, D->getAccess()), nullptr,
1526 nullptr};
1527 Info.ConstructorTmpl = dyn_cast<FunctionTemplateDecl>(D);
1528 if (Info.ConstructorTmpl)
1530 Info.Constructor = dyn_cast<CXXConstructorDecl>(D);
1531 return Info;
1532 }
1533
1534 / Returns false if signature help is relevant despite number of arguments
1535 / exceeding parameters. Specifically, it returns false when
1536 / PartialOverloading is true and one of the following:
1537 / * Function is variadic
1538 / * Function is template variadic
1539 / * Function is an instantiation of template variadic function
1540 / The last case may seem strange. The idea is that if we added one more
1541 / argument, we'd end up with a function similar to Function. Since, in the
1542 / context of signature help and/or code completion, we do not know what the
1543 / type of the next argument (that the user is typing) will be, this is as
1544 / good candidate as we can get, despite the fact that it takes one less
1545 / parameter.
1546 bool shouldEnforceArgLimit(bool PartialOverloading, FunctionDecl *Function);
1547
1549 const LangOptions &Opts) const {
1550 return
1551 / For user defined conversion we need to check against different
1552 / combination of CV qualifiers and look at any explicit specifier, so
1553 / always deduce template candidates.
1555 / When doing code completion, we want to see all the
1556 / viable candidates.
1557 && Kind != CSK_CodeCompletion
1558 / CUDA may prefer template candidates even when a non-candidate
1559 / is a perfect match
1560 && !Opts.CUDA;
1561 }
1562
1563} / namespace clang
1564
1565#endif / LLVM_CLANG_SEMA_OVERLOAD_H
Defines the C++ Decl subclasses, other than those for templates (found in DeclTemplate....
Defines the C++ template declaration subclasses.
Forward-declares and imports various common LLVM datatypes that clang wants to use unqualified.
Defines the clang::SourceLocation class and associated facilities.
C Language Family Type Representation.
APValue - This class implements a discriminated union of [uninitialized] [APSInt] [APFloat],...
Definition APValue.h:122
Holds long-lived AST nodes (such as types and decls) that can be referred to throughout the semantic ...
Definition ASTContext.h:220
Represents a C++ constructor within a class.
Definition DeclCXX.h:2604
Represents a C++ conversion function within a class.
Definition DeclCXX.h:2939
Represents a C++ struct/union/class.
Definition DeclCXX.h:258
CallExpr - Represents a function call (C99 6.5.2.2, C++ [expr.call]).
Definition Expr.h:2943
A POD class for pairing a NamedDecl* with an access specifier.
static DeclAccessPair make(NamedDecl *D, AccessSpecifier AS)
Decl - This represents one declaration (or definition), e.g.
Definition DeclBase.h:86
AccessSpecifier getAccess() const
Definition DeclBase.h:507
virtual Decl * getCanonicalDecl()
Retrieves the "canonical" declaration of the given declaration.
Definition DeclBase.h:978
OverloadedOperatorKind getCXXOverloadedOperator() const
If this name is the name of an overloadable operator in C++ (e.g., operator+), retrieve the kind of o...
The return type of classify().
Definition Expr.h:337
This represents one expression.
Definition Expr.h:112
QualType getType() const
Definition Expr.h:144
Represents a function declaration or definition.
Definition Decl.h:2000
Represents a prototype with parameter type info, e.g.
Definition TypeBase.h:5269
Declaration of a template function.
FunctionDecl * getTemplatedDecl() const
Get the underlying function declaration of the template.
ImplicitConversionSequence - Represents an implicit conversion sequence, which may be a standard conv...
Definition Overload.h:621
void dump() const
dump - Print this implicit conversion sequence to standard error.
ImplicitConversionSequence & operator=(const ImplicitConversionSequence &Other)
Definition Overload.h:711
Kind
Kind - The kind of implicit conversion sequence.
Definition Overload.h:630
bool isPerfect(const ASTContext &C) const
A conversion sequence is perfect if it is an identity conversion and the type of the source is the sa...
Definition Overload.h:802
StandardConversionSequence Standard
When ConversionKind == StandardConversion, provides the details of the standard conversion sequence.
Definition Overload.h:672
void setBad(BadConversionSequence::FailureKind Failure, Expr *FromExpr, QualType ToType)
Sets this sequence as a bad conversion for an explicit argument.
Definition Overload.h:769
UserDefinedConversionSequence UserDefined
When ConversionKind == UserDefinedConversion, provides the details of the user-defined conversion seq...
Definition Overload.h:676
ImplicitConversionSequence(const ImplicitConversionSequence &Other)
Definition Overload.h:693
bool isInitialized() const
Determines whether this conversion sequence has been initialized.
Definition Overload.h:766
static ImplicitConversionSequence getNullptrToBool(QualType SourceType, QualType DestType, bool NeedLValToRVal)
Form an "implicit" conversion sequence from nullptr_t to bool, for a direct-initialization of a bool ...
Definition Overload.h:826
AmbiguousConversionSequence Ambiguous
When ConversionKind == AmbiguousConversion, provides the details of the ambiguous conversion.
Definition Overload.h:680
void setInitializerListContainerType(QualType T, bool IA)
Definition Overload.h:811
bool hasInitializerListContainerType() const
Definition Overload.h:808
unsigned getKindRank() const
Return a ranking of the implicit conversion sequence kind, where smaller ranks represent better conve...
Definition Overload.h:733
bool isInitializerListOfIncompleteArray() const
Definition Overload.h:815
BadConversionSequence Bad
When ConversionKind == BadConversion, provides the details of the bad conversion.
Definition Overload.h:684
QualType getInitializerListContainerType() const
Definition Overload.h:818
void setAsIdentityConversion(QualType T)
Definition Overload.h:793
void DiagnoseAmbiguousConversion(Sema &S, SourceLocation CaretLoc, const PartialDiagnostic &PDiag) const
Diagnoses an ambiguous conversion.
void setBad(BadConversionSequence::FailureKind Failure, QualType FromType, QualType ToType)
Sets this sequence as a bad conversion for an implicit argument.
Definition Overload.h:776
Keeps track of the various options that can be enabled, which controls the dialect of C or C++ that i...
A pointer to member type per C++ 8.3.3 - Pointers to members.
Definition TypeBase.h:3654
bool isMemberFunctionPointer() const
Returns true if the member type (i.e.
Definition TypeBase.h:3676
This represents a decl that may have a name.
Definition Decl.h:274
NamedDecl * getUnderlyingDecl()
Looks through UsingDecls and ObjCCompatibleAliasDecls for the underlying named decl.
Definition Decl.h:487
DeclarationName getDeclName() const
Get the actual, stored name of the declaration, which may be a special name.
Definition Decl.h:340
llvm::MutableArrayRef< Expr * > getPersistentArgsArray(T *...Exprs)
Definition Overload.h:1413
OverloadCandidateSet & operator=(const OverloadCandidateSet &)=delete
bool isNewCandidate(Decl *F, OverloadCandidateParamOrder PO=OverloadCandidateParamOrder::Normal)
Determine when this overload candidate will be new to the overload set.
Definition Overload.h:1359
void DisableResolutionByPerfectCandidate()
Definition Overload.h:1457
void setDestAS(LangAS AS)
Definition Overload.h:1485
ConversionSequenceList allocateConversionSequences(unsigned NumConversions)
Allocate storage for conversion sequences for NumConversions conversions.
Definition Overload.h:1391
OverloadCandidateSet(SourceLocation Loc, CandidateSetKind CSK, OperatorRewriteInfo RewriteInfo={})
Definition Overload.h:1337
llvm::MutableArrayRef< Expr * > getPersistentArgsArray(unsigned N)
Provide storage for any Expr* arg that must be preserved until deferred template candidates are deduc...
Definition Overload.h:1407
OperatorRewriteInfo getRewriteInfo() const
Definition Overload.h:1349
bool shouldDeferTemplateArgumentDeduction(const LangOptions &Opts) const
Definition Overload.h:1548
@ CSK_AddressOfOverloadSet
C++ [over.match.call.general] Resolve a call through the address of an overload set.
Definition Overload.h:1184
@ CSK_InitByConstructor
C++ [over.match.ctor], [over.match.list] Initialization of an object of class type by constructor,...
Definition Overload.h:1180
@ CSK_InitByUserDefinedConversion
C++ [over.match.copy]: Copy-initialization of an object of class type by user-defined conversion.
Definition Overload.h:1175
@ CSK_Normal
Normal lookup.
Definition Overload.h:1163
@ CSK_Operator
C++ [over.match.oper]: Lookup of operator function candidates in a call using operator syntax.
Definition Overload.h:1170
@ CSK_CodeCompletion
When doing overload resolution during code completion, we want to show all viable candidates,...
Definition Overload.h:1189
SmallVectorImpl< OverloadCandidate >::iterator iterator
Definition Overload.h:1375
OverloadCandidateSet(const OverloadCandidateSet &)=delete
void exclude(Decl *F)
Exclude a function from being considered by overload resolution.
Definition Overload.h:1367
SourceLocation getLocation() const
Definition Overload.h:1347
OverloadCandidate & addCandidate(unsigned NumConversions=0, ConversionSequenceList Conversions={})
Add a new candidate with NumConversions conversion sequence slots to the overload set.
Definition Overload.h:1422
CandidateSetKind getKind() const
Definition Overload.h:1348
size_t nonDeferredCandidatesCount() const
Definition Overload.h:1382
A (possibly-)qualified type.
Definition TypeBase.h:937
static QualType getFromOpaquePtr(const void *Ptr)
Definition TypeBase.h:986
Sema - This implements semantic analysis and AST building for C.
Definition Sema.h:855
Encodes a location in the source.
StandardConversionSequence - represents a standard conversion sequence (C++ 13.3.3....
Definition Overload.h:298
void dump() const
dump - Print this standard conversion sequence to standard error.
DeclAccessPair FoundCopyConstructor
Definition Overload.h:392
void * FromTypePtr
FromType - The type that this conversion is converting from.
Definition Overload.h:379
unsigned BindsToRvalue
Whether we're binding to an rvalue.
Definition Overload.h:357
ImplicitConversionKind Second
Second - The second conversion can be an integral promotion, floating point promotion,...
Definition Overload.h:309
bool isPerfect(const ASTContext &C) const
A conversion sequence is perfect if it is an identity conversion and the type of the source is the sa...
Definition Overload.h:425
ImplicitConversionKind First
First – The first conversion can be an lvalue-to-rvalue conversion, array-to-pointer conversion,...
Definition Overload.h:303
unsigned BindsImplicitObjectArgumentWithoutRefQualifier
Whether this binds an implicit object argument to a non-static member function without a ref-qualifie...
Definition Overload.h:362
unsigned ReferenceBinding
ReferenceBinding - True when this is a reference binding (C++ [over.ics.ref]).
Definition Overload.h:339
void setAsIdentityConversion()
StandardConversionSequence - Set the standard conversion sequence to the identity conversion.
unsigned DeprecatedStringLiteralToCharPtr
Whether this is the deprecated conversion of a string literal to a pointer to non-const character dat...
Definition Overload.h:324
CXXConstructorDecl * CopyConstructor
CopyConstructor - The copy constructor that is used to perform this conversion, when the conversion i...
Definition Overload.h:391
unsigned IncompatibleObjC
IncompatibleObjC - Whether this is an Objective-C conversion that we should warn about (if we actuall...
Definition Overload.h:334
unsigned ObjCLifetimeConversionBinding
Whether this binds a reference to an object with a different Objective-C lifetime qualifier.
Definition Overload.h:367
ImplicitConversionKind Third
Third - The third conversion can be a qualification conversion or a function conversion.
Definition Overload.h:318
unsigned QualificationIncludesObjCLifetime
Whether the qualification conversion involves a change in the Objective-C lifetime (for automatic ref...
Definition Overload.h:329
void setToType(unsigned Idx, QualType T)
Definition Overload.h:396
bool isPointerConversionToBool() const
isPointerConversionToBool - Determines whether this conversion is a conversion of a pointer or pointe...
void * ToTypePtrs[3]
ToType - The types that this conversion is converting to in each step.
Definition Overload.h:384
NarrowingKind getNarrowingKind(ASTContext &Context, const Expr *Converted, APValue &ConstantValue, QualType &ConstantType, bool IgnoreFloatToIntegralConversion=false) const
Check if this standard conversion sequence represents a narrowing conversion, according to C++11 [dcl...
unsigned IsLvalueReference
Whether this is an lvalue reference binding (otherwise, it's an rvalue reference binding).
Definition Overload.h:349
ImplicitConversionKind Dimension
Dimension - Between the second and third conversion a vector or matrix dimension conversion may occur...
Definition Overload.h:314
unsigned BindsToFunctionLvalue
Whether we're binding to a function lvalue.
Definition Overload.h:353
unsigned DirectBinding
DirectBinding - True when this is a reference binding that is a direct binding (C++ [dcl....
Definition Overload.h:344
ImplicitConversionRank getRank() const
getRank - Retrieve the rank of this standard conversion sequence (C++ 13.3.3.1.1p3).
bool isPointerConversionToVoidPointer(ASTContext &Context) const
isPointerConversionToVoidPointer - Determines whether this conversion is a conversion of a pointer to...
unsigned FromBracedInitList
Whether the source expression was originally a single element braced-init-list.
Definition Overload.h:374
QualType getToType(unsigned Idx) const
Definition Overload.h:411
const T * castAs() const
Member-template castAs<specific type>.
Definition TypeBase.h:9179
QualType getPointeeType() const
If this is a pointer, ObjC object pointer, or block pointer, this returns the respective pointee.
Definition Type.cpp:753
bool isPointerOrReferenceType() const
Definition TypeBase.h:8534
#define bool
Definition gpuintrin.h:32
The JSON file list parser is used to communicate input to InstallAPI.
ImplicitConversionRank GetDimensionConversionRank(ImplicitConversionRank Base, ImplicitConversionKind Dimension)
OverloadedOperatorKind
Enumeration specifying the different kinds of C++ overloaded operators.
@ OO_None
Not an overloaded operator.
bool isa(CodeGen::Address addr)
Definition Address.h:330
OverloadingResult
OverloadingResult - Capture the result of performing overload resolution.
Definition Overload.h:50
@ OR_Deleted
Succeeded, but refers to a deleted function.
Definition Overload.h:61
@ OR_Success
Overload resolution succeeded.
Definition Overload.h:52
@ OR_Ambiguous
Ambiguous candidates found.
Definition Overload.h:58
@ OR_No_Viable_Function
No viable function found.
Definition Overload.h:55
bool isBetterOverloadCandidate(Sema &S, const OverloadCandidate &Cand1, const OverloadCandidate &Cand2, SourceLocation Loc, OverloadCandidateSet::CandidateSetKind Kind, bool PartialOverloading=false)
isBetterOverloadCandidate - Determines whether the first overload candidate is a better candidate tha...
OverloadFailureKind
Definition Overload.h:858
@ ovl_fail_final_conversion_not_exact
This conversion function template specialization candidate is not viable because the final conversion...
Definition Overload.h:886
@ ovl_fail_enable_if
This candidate function was not viable because an enable_if attribute disabled it.
Definition Overload.h:895
@ ovl_fail_illegal_constructor
This conversion candidate was not considered because it is an illegal instantiation of a constructor ...
Definition Overload.h:878
@ ovl_fail_bad_final_conversion
This conversion candidate is not viable because its result type is not implicitly convertible to the ...
Definition Overload.h:882
@ ovl_fail_module_mismatched
This candidate was not viable because it has internal linkage and is from a different module unit tha...
Definition Overload.h:923
@ ovl_fail_too_few_arguments
Definition Overload.h:860
@ ovl_fail_addr_not_available
This candidate was not viable because its address could not be taken.
Definition Overload.h:902
@ ovl_fail_too_many_arguments
Definition Overload.h:859
@ ovl_non_default_multiversion_function
This candidate was not viable because it is a non-default multiversioned function.
Definition Overload.h:910
@ ovl_fail_constraints_not_satisfied
This candidate was not viable because its associated constraints were not satisfied.
Definition Overload.h:919
@ ovl_fail_bad_conversion
Definition Overload.h:861
@ ovl_fail_bad_target
(CUDA) This candidate was not viable because the callee was not accessible from the caller's target (...
Definition Overload.h:891
@ ovl_fail_bad_deduction
Definition Overload.h:862
@ ovl_fail_inhctor_slice
This inherited constructor is not viable because it would slice the argument.
Definition Overload.h:906
@ ovl_fail_object_addrspace_mismatch
This constructor/conversion candidate fail due to an address space mismatch between the object being ...
Definition Overload.h:915
@ ovl_fail_explicit
This candidate constructor or conversion function is explicit but the context doesn't permit explicit...
Definition Overload.h:899
@ ovl_fail_trivial_conversion
This conversion candidate was not considered because it duplicates the work of a trivial or derived-t...
Definition Overload.h:867
ImplicitConversionRank
ImplicitConversionRank - The rank of an implicit conversion kind.
Definition Overload.h:221
@ ICR_Conversion
Conversion.
Definition Overload.h:235
@ ICR_Writeback_Conversion
ObjC ARC writeback conversion.
Definition Overload.h:247
@ ICR_HLSL_Dimension_Reduction
HLSL Matching Dimension Reduction.
Definition Overload.h:257
@ ICR_HLSL_Dimension_Reduction_Conversion
HLSL Dimension reduction with conversion.
Definition Overload.h:263
@ ICR_HLSL_Scalar_Widening
HLSL Scalar Widening.
Definition Overload.h:226
@ ICR_C_Conversion
Conversion only allowed in the C standard (e.g. void* to char*).
Definition Overload.h:250
@ ICR_OCL_Scalar_Widening
OpenCL Scalar Widening.
Definition Overload.h:238
@ ICR_Complex_Real_Conversion
Complex <-> Real conversion.
Definition Overload.h:244
@ ICR_HLSL_Scalar_Widening_Conversion
HLSL Scalar Widening with conversion.
Definition Overload.h:241
@ ICR_HLSL_Dimension_Reduction_Promotion
HLSL Dimension reduction with promotion.
Definition Overload.h:260
@ ICR_Promotion
Promotion.
Definition Overload.h:229
@ ICR_Exact_Match
Exact Match.
Definition Overload.h:223
@ ICR_C_Conversion_Extension
Conversion not allowed by the C standard, but that we accept as an extension anyway.
Definition Overload.h:254
@ ICR_HLSL_Scalar_Widening_Promotion
HLSL Scalar Widening with promotion.
Definition Overload.h:232
OverloadCandidateDisplayKind
Definition Overload.h:64
@ OCD_AmbiguousCandidates
Requests that only tied-for-best candidates be shown.
Definition Overload.h:73
@ OCD_ViableCandidates
Requests that only viable candidates be shown.
Definition Overload.h:70
@ OCD_AllCandidates
Requests that all candidates be shown.
Definition Overload.h:67
OverloadCandidateParamOrder
The parameter ordering that will be used for the candidate.
Definition Overload.h:84
nullptr
This class represents a compute construct, representing a 'Kind' of ‘parallel’, 'serial',...
llvm::MutableArrayRef< ImplicitConversionSequence > ConversionSequenceList
A list of implicit conversion sequences for the arguments of an OverloadCandidate.
Definition Overload.h:928
OverloadCandidateRewriteKind
The kinds of rewrite we perform on overload candidates.
Definition Overload.h:89
@ CRK_Reversed
Candidate is a rewritten candidate with a reversed order of parameters.
Definition Overload.h:97
@ CRK_None
Candidate is not a rewritten candidate.
Definition Overload.h:91
@ CRK_DifferentOperator
Candidate is a rewritten candidate with a different operator name.
Definition Overload.h:94
const FunctionProtoType * T
ImplicitConversionKind
ImplicitConversionKind - The kind of implicit conversion used to convert an argument to a parameter's...
Definition Overload.h:104
@ ICK_Complex_Conversion
Complex conversions (C99 6.3.1.6)
Definition Overload.h:139
@ ICK_Floating_Promotion
Floating point promotions (C++ [conv.fpprom])
Definition Overload.h:127
@ ICK_Boolean_Conversion
Boolean conversions (C++ [conv.bool])
Definition Overload.h:151
@ ICK_Integral_Conversion
Integral conversions (C++ [conv.integral])
Definition Overload.h:133
@ ICK_HLSL_Vector_Splat
Definition Overload.h:208
@ ICK_Fixed_Point_Conversion
Fixed point type conversions according to N1169.
Definition Overload.h:196
@ ICK_Vector_Conversion
Vector conversions.
Definition Overload.h:160
@ ICK_Block_Pointer_Conversion
Block Pointer conversions.
Definition Overload.h:175
@ ICK_Pointer_Member
Pointer-to-member conversions (C++ [conv.mem])
Definition Overload.h:148
@ ICK_Floating_Integral
Floating-integral conversions (C++ [conv.fpint])
Definition Overload.h:142
@ ICK_HLSL_Array_RValue
HLSL non-decaying array rvalue cast.
Definition Overload.h:205
@ ICK_SVE_Vector_Conversion
Arm SVE Vector conversions.
Definition Overload.h:163
@ ICK_HLSL_Vector_Truncation
HLSL vector truncation.
Definition Overload.h:199
@ ICK_Incompatible_Pointer_Conversion
C-only conversion between pointers with incompatible types.
Definition Overload.h:193
@ ICK_Array_To_Pointer
Array-to-pointer conversion (C++ [conv.array])
Definition Overload.h:112
@ ICK_RVV_Vector_Conversion
RISC-V RVV Vector conversions.
Definition Overload.h:166
@ ICK_Complex_Promotion
Complex promotions (Clang extension)
Definition Overload.h:130
@ ICK_Num_Conversion_Kinds
The number of conversion kinds.
Definition Overload.h:214
@ ICK_HLSL_Matrix_Splat
HLSL matrix splat from scalar or boolean type.
Definition Overload.h:211
@ ICK_Function_Conversion
Function pointer conversion (C++17 [conv.fctptr])
Definition Overload.h:118
@ ICK_Vector_Splat
A vector splat from an arithmetic type.
Definition Overload.h:169
@ ICK_Zero_Queue_Conversion
Zero constant to queue.
Definition Overload.h:187
@ ICK_Identity
Identity conversion (no conversion)
Definition Overload.h:106
@ ICK_Derived_To_Base
Derived-to-base (C++ [over.best.ics])
Definition Overload.h:157
@ ICK_Lvalue_To_Rvalue
Lvalue-to-rvalue conversion (C++ [conv.lval])
Definition Overload.h:109
@ ICK_Qualification
Qualification conversions (C++ [conv.qual])
Definition Overload.h:121
@ ICK_Pointer_Conversion
Pointer conversions (C++ [conv.ptr])
Definition Overload.h:145
@ ICK_TransparentUnionConversion
Transparent Union Conversions.
Definition Overload.h:178
@ ICK_Integral_Promotion
Integral promotions (C++ [conv.prom])
Definition Overload.h:124
@ ICK_HLSL_Matrix_Truncation
HLSL Matrix truncation.
Definition Overload.h:202
@ ICK_Floating_Conversion
Floating point conversions (C++ [conv.double].
Definition Overload.h:136
@ ICK_Compatible_Conversion
Conversions between compatible types in C99.
Definition Overload.h:154
@ ICK_C_Only_Conversion
Conversions allowed in C, but not C++.
Definition Overload.h:190
@ ICK_Writeback_Conversion
Objective-C ARC writeback conversion.
Definition Overload.h:181
@ ICK_Zero_Event_Conversion
Zero constant to event (OpenCL1.2 6.12.10)
Definition Overload.h:184
@ ICK_Complex_Real
Complex-real conversions (C99 6.3.1.7)
Definition Overload.h:172
@ ICK_Function_To_Pointer
Function-to-pointer (C++ [conv.array])
Definition Overload.h:115
LangAS
Defines the address space values used by the address space qualifier of QualType.
OverloadedOperatorKind getRewrittenOverloadedOperator(OverloadedOperatorKind Kind)
Get the other overloaded operator that the given operator can be rewritten into, if any such operator...
bool shouldEnforceArgLimit(bool PartialOverloading, FunctionDecl *Function)
NarrowingKind
NarrowingKind - The kind of narrowing conversion being performed by a standard conversion sequence ac...
Definition Overload.h:274
@ NK_Not_Narrowing
Not a narrowing conversion.
Definition Overload.h:276
@ NK_Constant_Narrowing
A narrowing conversion, because a constant expression got narrowed.
Definition Overload.h:282
@ NK_Dependent_Narrowing
Cannot tell whether this is a narrowing conversion because the expression is value-dependent.
Definition Overload.h:290
@ NK_Type_Narrowing
A narrowing conversion by virtue of the source and destination types.
Definition Overload.h:279
@ NK_Variable_Narrowing
A narrowing conversion, because a non-constant-expression variable might have got narrowed.
Definition Overload.h:286
ConstructorInfo getConstructorInfo(NamedDecl *ND)
Definition Overload.h:1518
ImplicitConversionRank GetConversionRank(ImplicitConversionKind Kind)
GetConversionRank - Retrieve the implicit conversion rank corresponding to the given implicit convers...
@ Other
Other implicit parameter.
Definition Decl.h:1746
Diagnostic wrappers for TextAPI types for error reporting.
Definition Dominators.h:30
__UINTPTR_TYPE__ uintptr_t
An unsigned integer type with the property that any valid pointer to void can be converted to this ty...
#define false
Definition stdbool.h:26
Represents an ambiguous user-defined conversion sequence.
Definition Overload.h:521
ConversionSet::const_iterator const_iterator
Definition Overload.h:557
const ConversionSet & conversions() const
Definition Overload.h:544
SmallVector< std::pair< NamedDecl *, FunctionDecl * >, 4 > ConversionSet
Definition Overload.h:522
const_iterator end() const
Definition Overload.h:560
void addConversion(NamedDecl *Found, FunctionDecl *D)
Definition Overload.h:548
char Buffer[sizeof(ConversionSet)]
Definition Overload.h:527
void copyFrom(const AmbiguousConversionSequence &)
ConversionSet::iterator iterator
Definition Overload.h:552
const_iterator begin() const
Definition Overload.h:559
BadConversionSequence - Records information about an invalid conversion sequence.
Definition Overload.h:569
void setToType(QualType T)
Definition Overload.h:614
void setFromType(QualType T)
Definition Overload.h:613
void init(FailureKind K, Expr *From, QualType To)
Definition Overload.h:593
void init(FailureKind K, QualType From, QualType To)
Definition Overload.h:598
QualType getToType() const
Definition Overload.h:606
QualType getFromType() const
Definition Overload.h:605
FunctionTemplateDecl * ConstructorTmpl
Definition Overload.h:1511
CXXConstructorDecl * Constructor
Definition Overload.h:1510
DeclAccessPair FoundDecl
Definition Overload.h:1509
The class facilities generation and storage of conversion FixIts.
A structure used to record information about a failed template argument deduction,...
DeferredTemplateOverloadCandidate * Next
Definition Overload.h:1101
Information about operator rewrites to consider when adding operator functions to a candidate set.
Definition Overload.h:1194
bool allowsReversed(OverloadedOperatorKind Op) const
Determine whether reversing parameter order is allowed for operator Op.
bool isRewrittenOperator(const FunctionDecl *FD) const
Would use of this function result in a rewrite using a different operator?
Definition Overload.h:1211
OperatorRewriteInfo(OverloadedOperatorKind Op, SourceLocation OpLoc, bool AllowRewritten)
Definition Overload.h:1197
bool isAcceptableCandidate(const FunctionDecl *FD) const
Definition Overload.h:1216
bool isReversible() const
Determines whether this operator could be implemented by a function with reversed parameter order.
Definition Overload.h:1243
SourceLocation OpLoc
The source location of the operator.
Definition Overload.h:1205
bool AllowRewrittenCandidates
Whether we should include rewritten candidates in the overload set.
Definition Overload.h:1207
OverloadedOperatorKind OriginalOperator
The original operator as written in the source.
Definition Overload.h:1203
OverloadCandidateRewriteKind getRewriteKind(const FunctionDecl *FD, OverloadCandidateParamOrder PO)
Determine the kind of rewrite that should be performed for this candidate.
Definition Overload.h:1233
OverloadCandidate - A single candidate in an overload set (C++ 13.3).
Definition Overload.h:932
unsigned StrictPackMatch
Have we matched any packs on the parameter side, versus any non-packs on the argument side,...
Definition Overload.h:997
unsigned IgnoreObjectArgument
IgnoreObjectArgument - True to indicate that the first argument's conversion, which for this function...
Definition Overload.h:988
bool TryToFixBadConversion(unsigned Idx, Sema &S)
Definition Overload.h:1062
bool NotValidBecauseConstraintExprHasError() const
bool isReversed() const
Definition Overload.h:1036
unsigned IsADLCandidate
True if the candidate was found using ADL.
Definition Overload.h:1001
unsigned IsSurrogate
IsSurrogate - True to indicate that this candidate is a surrogate for a conversion to a function poin...
Definition Overload.h:978
QualType BuiltinParamTypes[3]
BuiltinParamTypes - Provides the parameter types of a built-in overload candidate.
Definition Overload.h:946
bool hasAmbiguousConversion() const
hasAmbiguousConversion - Returns whether this overload candidate requires an ambiguous conversion or ...
Definition Overload.h:1040
DeclAccessPair FoundDecl
FoundDecl - The original declaration that was looked up / invented / otherwise found,...
Definition Overload.h:942
FunctionDecl * Function
Function - The actual function that this candidate represents.
Definition Overload.h:937
unsigned RewriteKind
Whether this is a rewritten candidate, and if so, of what kind?
Definition Overload.h:1009
ConversionFixItGenerator Fix
The FixIt hints which can be used to fix the Bad candidate.
Definition Overload.h:958
unsigned Best
Whether this candidate is the best viable function, or tied for being the best viable function.
Definition Overload.h:972
StandardConversionSequence FinalConversion
FinalConversion - For a conversion function (where Function is a CXXConversionDecl),...
Definition Overload.h:1027
unsigned getNumParams() const
Definition Overload.h:1075
unsigned HasFinalConversion
Whether FinalConversion has been set.
Definition Overload.h:1005
unsigned TookAddressOfOverload
Definition Overload.h:991
unsigned FailureKind
FailureKind - The reason why this candidate is not viable.
Definition Overload.h:1014
unsigned ExplicitCallArguments
The number of call arguments that were explicitly provided, to be used while performing partial order...
Definition Overload.h:1018
ConversionSequenceList Conversions
The conversion sequences used to convert the function arguments to the function parameters.
Definition Overload.h:955
friend class OverloadCandidateSet
Definition Overload.h:1090
DeductionFailureInfo DeductionFailure
Definition Overload.h:1021
unsigned Viable
Viable - True to indicate that this overload candidate is viable.
Definition Overload.h:962
bool isPerfectMatch(const ASTContext &Ctx) const
Definition Overload.h:1050
CXXConversionDecl * Surrogate
Surrogate - The conversion function for which this candidate is a surrogate, but only if IsSurrogate ...
Definition Overload.h:950
OverloadCandidateRewriteKind getRewriteKind() const
Get RewriteKind value in OverloadCandidateRewriteKind type (This function is to workaround the spurio...
Definition Overload.h:1032
UserDefinedConversionSequence - Represents a user-defined conversion sequence (C++ 13....
Definition Overload.h:476
StandardConversionSequence Before
Represents the standard conversion that occurs before the actual user-defined conversion.
Definition Overload.h:488
FunctionDecl * ConversionFunction
ConversionFunction - The function that will perform the user-defined conversion.
Definition Overload.h:510
bool HadMultipleCandidates
HadMultipleCandidates - When this is true, it means that the conversion function was resolved from an...
Definition Overload.h:501
StandardConversionSequence After
After - Represents the standard conversion that occurs after the actual user-defined conversion.
Definition Overload.h:505
bool EllipsisConversion
EllipsisConversion - When this is true, it means user-defined conversion sequence starts with a ....
Definition Overload.h:496
DeclAccessPair FoundConversionFunction
The declaration that we found via name lookup, which might be the same as ConversionFunction or it mi...
Definition Overload.h:515
void dump() const
dump - Print this user-defined conversion sequence to standard error.

Follow Lee on X/Twitter - Father, Husband, Serial builder creating AI, crypto, games & web tools. We are friends :) AI Will Come To Life!

Check out: eBank.nz (Art Generator) | Netwrck.com (AI Tools) | Text-Generator.io (AI API) | BitBank.nz (Crypto AI) | ReadingTime (Kids Reading) | RewordGame | BigMultiplayerChess | WebFiddle | How.nz | Helix AI Assistant