1 //===--- APValue.cpp - Union class for APFloat/APSInt/Complex -------------===//
2 //
3 // The LLVM Compiler Infrastructure
4 //
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
7 //
8 //===----------------------------------------------------------------------===//
9 //
10 // This file implements the APValue class.
11 //
12 //===----------------------------------------------------------------------===//
13
14 #include "clang/AST/APValue.h"
15 #include "clang/AST/ASTContext.h"
16 #include "clang/AST/CharUnits.h"
17 #include "clang/AST/DeclCXX.h"
18 #include "clang/AST/Expr.h"
19 #include "clang/AST/Type.h"
20 #include "clang/Basic/Diagnostic.h"
21 #include "llvm/ADT/SmallString.h"
22 #include "llvm/Support/raw_ostream.h"
23 #include "llvm/Support/ErrorHandling.h"
24 using namespace clang;
25
26 namespace {
27 struct LVBase {
28 llvm::PointerIntPair<APValue::LValueBase, 1, bool> BaseAndIsOnePastTheEnd;
29 CharUnits Offset;
30 unsigned PathLength;
31 unsigned CallIndex;
32 };
33 }
34
35 struct APValue::LV : LVBase {
36 static const unsigned InlinePathSpace =
37 (MaxSize - sizeof(LVBase)) / sizeof(LValuePathEntry);
38
39 /// Path - The sequence of base classes, fields and array indices to follow to
40 /// walk from Base to the subobject. When performing GCC-style folding, there
41 /// may not be such a path.
42 union {
43 LValuePathEntry Path[InlinePathSpace];
44 LValuePathEntry *PathPtr;
45 };
46
LVAPValue::LV47 LV() { PathLength = (unsigned)-1; }
~LVAPValue::LV48 ~LV() { resizePath(0); }
49
resizePathAPValue::LV50 void resizePath(unsigned Length) {
51 if (Length == PathLength)
52 return;
53 if (hasPathPtr())
54 delete [] PathPtr;
55 PathLength = Length;
56 if (hasPathPtr())
57 PathPtr = new LValuePathEntry[Length];
58 }
59
hasPathAPValue::LV60 bool hasPath() const { return PathLength != (unsigned)-1; }
hasPathPtrAPValue::LV61 bool hasPathPtr() const { return hasPath() && PathLength > InlinePathSpace; }
62
getPathAPValue::LV63 LValuePathEntry *getPath() { return hasPathPtr() ? PathPtr : Path; }
getPathAPValue::LV64 const LValuePathEntry *getPath() const {
65 return hasPathPtr() ? PathPtr : Path;
66 }
67 };
68
69 namespace {
70 struct MemberPointerBase {
71 llvm::PointerIntPair<const ValueDecl*, 1, bool> MemberAndIsDerivedMember;
72 unsigned PathLength;
73 };
74 }
75
76 struct APValue::MemberPointerData : MemberPointerBase {
77 static const unsigned InlinePathSpace =
78 (MaxSize - sizeof(MemberPointerBase)) / sizeof(const CXXRecordDecl*);
79 typedef const CXXRecordDecl *PathElem;
80 union {
81 PathElem Path[InlinePathSpace];
82 PathElem *PathPtr;
83 };
84
MemberPointerDataAPValue::MemberPointerData85 MemberPointerData() { PathLength = 0; }
~MemberPointerDataAPValue::MemberPointerData86 ~MemberPointerData() { resizePath(0); }
87
resizePathAPValue::MemberPointerData88 void resizePath(unsigned Length) {
89 if (Length == PathLength)
90 return;
91 if (hasPathPtr())
92 delete [] PathPtr;
93 PathLength = Length;
94 if (hasPathPtr())
95 PathPtr = new PathElem[Length];
96 }
97
hasPathPtrAPValue::MemberPointerData98 bool hasPathPtr() const { return PathLength > InlinePathSpace; }
99
getPathAPValue::MemberPointerData100 PathElem *getPath() { return hasPathPtr() ? PathPtr : Path; }
getPathAPValue::MemberPointerData101 const PathElem *getPath() const {
102 return hasPathPtr() ? PathPtr : Path;
103 }
104 };
105
106 // FIXME: Reduce the malloc traffic here.
107
Arr(unsigned NumElts,unsigned Size)108 APValue::Arr::Arr(unsigned NumElts, unsigned Size) :
109 Elts(new APValue[NumElts + (NumElts != Size ? 1 : 0)]),
110 NumElts(NumElts), ArrSize(Size) {}
~Arr()111 APValue::Arr::~Arr() { delete [] Elts; }
112
StructData(unsigned NumBases,unsigned NumFields)113 APValue::StructData::StructData(unsigned NumBases, unsigned NumFields) :
114 Elts(new APValue[NumBases+NumFields]),
115 NumBases(NumBases), NumFields(NumFields) {}
~StructData()116 APValue::StructData::~StructData() {
117 delete [] Elts;
118 }
119
UnionData()120 APValue::UnionData::UnionData() : Field(0), Value(new APValue) {}
~UnionData()121 APValue::UnionData::~UnionData () {
122 delete Value;
123 }
124
APValue(const APValue & RHS)125 APValue::APValue(const APValue &RHS) : Kind(Uninitialized) {
126 switch (RHS.getKind()) {
127 case Uninitialized:
128 break;
129 case Int:
130 MakeInt();
131 setInt(RHS.getInt());
132 break;
133 case Float:
134 MakeFloat();
135 setFloat(RHS.getFloat());
136 break;
137 case Vector:
138 MakeVector();
139 setVector(((const Vec *)(const char *)RHS.Data)->Elts,
140 RHS.getVectorLength());
141 break;
142 case ComplexInt:
143 MakeComplexInt();
144 setComplexInt(RHS.getComplexIntReal(), RHS.getComplexIntImag());
145 break;
146 case ComplexFloat:
147 MakeComplexFloat();
148 setComplexFloat(RHS.getComplexFloatReal(), RHS.getComplexFloatImag());
149 break;
150 case LValue:
151 MakeLValue();
152 if (RHS.hasLValuePath())
153 setLValue(RHS.getLValueBase(), RHS.getLValueOffset(), RHS.getLValuePath(),
154 RHS.isLValueOnePastTheEnd(), RHS.getLValueCallIndex());
155 else
156 setLValue(RHS.getLValueBase(), RHS.getLValueOffset(), NoLValuePath(),
157 RHS.getLValueCallIndex());
158 break;
159 case Array:
160 MakeArray(RHS.getArrayInitializedElts(), RHS.getArraySize());
161 for (unsigned I = 0, N = RHS.getArrayInitializedElts(); I != N; ++I)
162 getArrayInitializedElt(I) = RHS.getArrayInitializedElt(I);
163 if (RHS.hasArrayFiller())
164 getArrayFiller() = RHS.getArrayFiller();
165 break;
166 case Struct:
167 MakeStruct(RHS.getStructNumBases(), RHS.getStructNumFields());
168 for (unsigned I = 0, N = RHS.getStructNumBases(); I != N; ++I)
169 getStructBase(I) = RHS.getStructBase(I);
170 for (unsigned I = 0, N = RHS.getStructNumFields(); I != N; ++I)
171 getStructField(I) = RHS.getStructField(I);
172 break;
173 case Union:
174 MakeUnion();
175 setUnion(RHS.getUnionField(), RHS.getUnionValue());
176 break;
177 case MemberPointer:
178 MakeMemberPointer(RHS.getMemberPointerDecl(),
179 RHS.isMemberPointerToDerivedMember(),
180 RHS.getMemberPointerPath());
181 break;
182 case AddrLabelDiff:
183 MakeAddrLabelDiff();
184 setAddrLabelDiff(RHS.getAddrLabelDiffLHS(), RHS.getAddrLabelDiffRHS());
185 break;
186 }
187 }
188
DestroyDataAndMakeUninit()189 void APValue::DestroyDataAndMakeUninit() {
190 if (Kind == Int)
191 ((APSInt*)(char*)Data)->~APSInt();
192 else if (Kind == Float)
193 ((APFloat*)(char*)Data)->~APFloat();
194 else if (Kind == Vector)
195 ((Vec*)(char*)Data)->~Vec();
196 else if (Kind == ComplexInt)
197 ((ComplexAPSInt*)(char*)Data)->~ComplexAPSInt();
198 else if (Kind == ComplexFloat)
199 ((ComplexAPFloat*)(char*)Data)->~ComplexAPFloat();
200 else if (Kind == LValue)
201 ((LV*)(char*)Data)->~LV();
202 else if (Kind == Array)
203 ((Arr*)(char*)Data)->~Arr();
204 else if (Kind == Struct)
205 ((StructData*)(char*)Data)->~StructData();
206 else if (Kind == Union)
207 ((UnionData*)(char*)Data)->~UnionData();
208 else if (Kind == MemberPointer)
209 ((MemberPointerData*)(char*)Data)->~MemberPointerData();
210 else if (Kind == AddrLabelDiff)
211 ((AddrLabelDiffData*)(char*)Data)->~AddrLabelDiffData();
212 Kind = Uninitialized;
213 }
214
swap(APValue & RHS)215 void APValue::swap(APValue &RHS) {
216 std::swap(Kind, RHS.Kind);
217 char TmpData[MaxSize];
218 memcpy(TmpData, Data, MaxSize);
219 memcpy(Data, RHS.Data, MaxSize);
220 memcpy(RHS.Data, TmpData, MaxSize);
221 }
222
dump() const223 void APValue::dump() const {
224 dump(llvm::errs());
225 llvm::errs() << '\n';
226 }
227
GetApproxValue(const llvm::APFloat & F)228 static double GetApproxValue(const llvm::APFloat &F) {
229 llvm::APFloat V = F;
230 bool ignored;
231 V.convert(llvm::APFloat::IEEEdouble, llvm::APFloat::rmNearestTiesToEven,
232 &ignored);
233 return V.convertToDouble();
234 }
235
dump(raw_ostream & OS) const236 void APValue::dump(raw_ostream &OS) const {
237 switch (getKind()) {
238 case Uninitialized:
239 OS << "Uninitialized";
240 return;
241 case Int:
242 OS << "Int: " << getInt();
243 return;
244 case Float:
245 OS << "Float: " << GetApproxValue(getFloat());
246 return;
247 case Vector:
248 OS << "Vector: ";
249 getVectorElt(0).dump(OS);
250 for (unsigned i = 1; i != getVectorLength(); ++i) {
251 OS << ", ";
252 getVectorElt(i).dump(OS);
253 }
254 return;
255 case ComplexInt:
256 OS << "ComplexInt: " << getComplexIntReal() << ", " << getComplexIntImag();
257 return;
258 case ComplexFloat:
259 OS << "ComplexFloat: " << GetApproxValue(getComplexFloatReal())
260 << ", " << GetApproxValue(getComplexFloatImag());
261 return;
262 case LValue:
263 OS << "LValue: <todo>";
264 return;
265 case Array:
266 OS << "Array: ";
267 for (unsigned I = 0, N = getArrayInitializedElts(); I != N; ++I) {
268 getArrayInitializedElt(I).dump(OS);
269 if (I != getArraySize() - 1) OS << ", ";
270 }
271 if (hasArrayFiller()) {
272 OS << getArraySize() - getArrayInitializedElts() << " x ";
273 getArrayFiller().dump(OS);
274 }
275 return;
276 case Struct:
277 OS << "Struct ";
278 if (unsigned N = getStructNumBases()) {
279 OS << " bases: ";
280 getStructBase(0).dump(OS);
281 for (unsigned I = 1; I != N; ++I) {
282 OS << ", ";
283 getStructBase(I).dump(OS);
284 }
285 }
286 if (unsigned N = getStructNumFields()) {
287 OS << " fields: ";
288 getStructField(0).dump(OS);
289 for (unsigned I = 1; I != N; ++I) {
290 OS << ", ";
291 getStructField(I).dump(OS);
292 }
293 }
294 return;
295 case Union:
296 OS << "Union: ";
297 getUnionValue().dump(OS);
298 return;
299 case MemberPointer:
300 OS << "MemberPointer: <todo>";
301 return;
302 case AddrLabelDiff:
303 OS << "AddrLabelDiff: <todo>";
304 return;
305 }
306 llvm_unreachable("Unknown APValue kind!");
307 }
308
printPretty(raw_ostream & Out,ASTContext & Ctx,QualType Ty) const309 void APValue::printPretty(raw_ostream &Out, ASTContext &Ctx, QualType Ty) const{
310 switch (getKind()) {
311 case APValue::Uninitialized:
312 Out << "<uninitialized>";
313 return;
314 case APValue::Int:
315 if (Ty->isBooleanType())
316 Out << (getInt().getBoolValue() ? "true" : "false");
317 else
318 Out << getInt();
319 return;
320 case APValue::Float:
321 Out << GetApproxValue(getFloat());
322 return;
323 case APValue::Vector: {
324 Out << '{';
325 QualType ElemTy = Ty->getAs<VectorType>()->getElementType();
326 getVectorElt(0).printPretty(Out, Ctx, ElemTy);
327 for (unsigned i = 1; i != getVectorLength(); ++i) {
328 Out << ", ";
329 getVectorElt(i).printPretty(Out, Ctx, ElemTy);
330 }
331 Out << '}';
332 return;
333 }
334 case APValue::ComplexInt:
335 Out << getComplexIntReal() << "+" << getComplexIntImag() << "i";
336 return;
337 case APValue::ComplexFloat:
338 Out << GetApproxValue(getComplexFloatReal()) << "+"
339 << GetApproxValue(getComplexFloatImag()) << "i";
340 return;
341 case APValue::LValue: {
342 LValueBase Base = getLValueBase();
343 if (!Base) {
344 Out << "0";
345 return;
346 }
347
348 bool IsReference = Ty->isReferenceType();
349 QualType InnerTy
350 = IsReference ? Ty.getNonReferenceType() : Ty->getPointeeType();
351
352 if (!hasLValuePath()) {
353 // No lvalue path: just print the offset.
354 CharUnits O = getLValueOffset();
355 CharUnits S = Ctx.getTypeSizeInChars(InnerTy);
356 if (!O.isZero()) {
357 if (IsReference)
358 Out << "*(";
359 if (O % S) {
360 Out << "(char*)";
361 S = CharUnits::One();
362 }
363 Out << '&';
364 } else if (!IsReference)
365 Out << '&';
366
367 if (const ValueDecl *VD = Base.dyn_cast<const ValueDecl*>())
368 Out << *VD;
369 else
370 Base.get<const Expr*>()->printPretty(Out, 0, Ctx.getPrintingPolicy());
371 if (!O.isZero()) {
372 Out << " + " << (O / S);
373 if (IsReference)
374 Out << ')';
375 }
376 return;
377 }
378
379 // We have an lvalue path. Print it out nicely.
380 if (!IsReference)
381 Out << '&';
382 else if (isLValueOnePastTheEnd())
383 Out << "*(&";
384
385 QualType ElemTy;
386 if (const ValueDecl *VD = Base.dyn_cast<const ValueDecl*>()) {
387 Out << *VD;
388 ElemTy = VD->getType();
389 } else {
390 const Expr *E = Base.get<const Expr*>();
391 E->printPretty(Out, 0, Ctx.getPrintingPolicy());
392 ElemTy = E->getType();
393 }
394
395 ArrayRef<LValuePathEntry> Path = getLValuePath();
396 const CXXRecordDecl *CastToBase = 0;
397 for (unsigned I = 0, N = Path.size(); I != N; ++I) {
398 if (ElemTy->getAs<RecordType>()) {
399 // The lvalue refers to a class type, so the next path entry is a base
400 // or member.
401 const Decl *BaseOrMember =
402 BaseOrMemberType::getFromOpaqueValue(Path[I].BaseOrMember).getPointer();
403 if (const CXXRecordDecl *RD = dyn_cast<CXXRecordDecl>(BaseOrMember)) {
404 CastToBase = RD;
405 ElemTy = Ctx.getRecordType(RD);
406 } else {
407 const ValueDecl *VD = cast<ValueDecl>(BaseOrMember);
408 Out << ".";
409 if (CastToBase)
410 Out << *CastToBase << "::";
411 Out << *VD;
412 ElemTy = VD->getType();
413 }
414 } else {
415 // The lvalue must refer to an array.
416 Out << '[' << Path[I].ArrayIndex << ']';
417 ElemTy = Ctx.getAsArrayType(ElemTy)->getElementType();
418 }
419 }
420
421 // Handle formatting of one-past-the-end lvalues.
422 if (isLValueOnePastTheEnd()) {
423 // FIXME: If CastToBase is non-0, we should prefix the output with
424 // "(CastToBase*)".
425 Out << " + 1";
426 if (IsReference)
427 Out << ')';
428 }
429 return;
430 }
431 case APValue::Array: {
432 const ArrayType *AT = Ctx.getAsArrayType(Ty);
433 QualType ElemTy = AT->getElementType();
434 Out << '{';
435 if (unsigned N = getArrayInitializedElts()) {
436 getArrayInitializedElt(0).printPretty(Out, Ctx, ElemTy);
437 for (unsigned I = 1; I != N; ++I) {
438 Out << ", ";
439 if (I == 10) {
440 // Avoid printing out the entire contents of large arrays.
441 Out << "...";
442 break;
443 }
444 getArrayInitializedElt(I).printPretty(Out, Ctx, ElemTy);
445 }
446 }
447 Out << '}';
448 return;
449 }
450 case APValue::Struct: {
451 Out << '{';
452 const RecordDecl *RD = Ty->getAs<RecordType>()->getDecl();
453 bool First = true;
454 if (unsigned N = getStructNumBases()) {
455 const CXXRecordDecl *CD = cast<CXXRecordDecl>(RD);
456 CXXRecordDecl::base_class_const_iterator BI = CD->bases_begin();
457 for (unsigned I = 0; I != N; ++I, ++BI) {
458 assert(BI != CD->bases_end());
459 if (!First)
460 Out << ", ";
461 getStructBase(I).printPretty(Out, Ctx, BI->getType());
462 First = false;
463 }
464 }
465 for (RecordDecl::field_iterator FI = RD->field_begin();
466 FI != RD->field_end(); ++FI) {
467 if (!First)
468 Out << ", ";
469 if (FI->isUnnamedBitfield()) continue;
470 getStructField(FI->getFieldIndex()).
471 printPretty(Out, Ctx, FI->getType());
472 First = false;
473 }
474 Out << '}';
475 return;
476 }
477 case APValue::Union:
478 Out << '{';
479 if (const FieldDecl *FD = getUnionField()) {
480 Out << "." << *FD << " = ";
481 getUnionValue().printPretty(Out, Ctx, FD->getType());
482 }
483 Out << '}';
484 return;
485 case APValue::MemberPointer:
486 // FIXME: This is not enough to unambiguously identify the member in a
487 // multiple-inheritance scenario.
488 if (const ValueDecl *VD = getMemberPointerDecl()) {
489 Out << '&' << *cast<CXXRecordDecl>(VD->getDeclContext()) << "::" << *VD;
490 return;
491 }
492 Out << "0";
493 return;
494 case APValue::AddrLabelDiff:
495 Out << "&&" << getAddrLabelDiffLHS()->getLabel()->getName();
496 Out << " - ";
497 Out << "&&" << getAddrLabelDiffRHS()->getLabel()->getName();
498 return;
499 }
500 llvm_unreachable("Unknown APValue kind!");
501 }
502
getAsString(ASTContext & Ctx,QualType Ty) const503 std::string APValue::getAsString(ASTContext &Ctx, QualType Ty) const {
504 std::string Result;
505 llvm::raw_string_ostream Out(Result);
506 printPretty(Out, Ctx, Ty);
507 Out.flush();
508 return Result;
509 }
510
getLValueBase() const511 const APValue::LValueBase APValue::getLValueBase() const {
512 assert(isLValue() && "Invalid accessor");
513 return ((const LV*)(const void*)Data)->BaseAndIsOnePastTheEnd.getPointer();
514 }
515
isLValueOnePastTheEnd() const516 bool APValue::isLValueOnePastTheEnd() const {
517 assert(isLValue() && "Invalid accessor");
518 return ((const LV*)(const void*)Data)->BaseAndIsOnePastTheEnd.getInt();
519 }
520
getLValueOffset()521 CharUnits &APValue::getLValueOffset() {
522 assert(isLValue() && "Invalid accessor");
523 return ((LV*)(void*)Data)->Offset;
524 }
525
hasLValuePath() const526 bool APValue::hasLValuePath() const {
527 assert(isLValue() && "Invalid accessor");
528 return ((const LV*)(const char*)Data)->hasPath();
529 }
530
getLValuePath() const531 ArrayRef<APValue::LValuePathEntry> APValue::getLValuePath() const {
532 assert(isLValue() && hasLValuePath() && "Invalid accessor");
533 const LV &LVal = *((const LV*)(const char*)Data);
534 return ArrayRef<LValuePathEntry>(LVal.getPath(), LVal.PathLength);
535 }
536
getLValueCallIndex() const537 unsigned APValue::getLValueCallIndex() const {
538 assert(isLValue() && "Invalid accessor");
539 return ((const LV*)(const char*)Data)->CallIndex;
540 }
541
setLValue(LValueBase B,const CharUnits & O,NoLValuePath,unsigned CallIndex)542 void APValue::setLValue(LValueBase B, const CharUnits &O, NoLValuePath,
543 unsigned CallIndex) {
544 assert(isLValue() && "Invalid accessor");
545 LV &LVal = *((LV*)(char*)Data);
546 LVal.BaseAndIsOnePastTheEnd.setPointer(B);
547 LVal.BaseAndIsOnePastTheEnd.setInt(false);
548 LVal.Offset = O;
549 LVal.CallIndex = CallIndex;
550 LVal.resizePath((unsigned)-1);
551 }
552
setLValue(LValueBase B,const CharUnits & O,ArrayRef<LValuePathEntry> Path,bool IsOnePastTheEnd,unsigned CallIndex)553 void APValue::setLValue(LValueBase B, const CharUnits &O,
554 ArrayRef<LValuePathEntry> Path, bool IsOnePastTheEnd,
555 unsigned CallIndex) {
556 assert(isLValue() && "Invalid accessor");
557 LV &LVal = *((LV*)(char*)Data);
558 LVal.BaseAndIsOnePastTheEnd.setPointer(B);
559 LVal.BaseAndIsOnePastTheEnd.setInt(IsOnePastTheEnd);
560 LVal.Offset = O;
561 LVal.CallIndex = CallIndex;
562 LVal.resizePath(Path.size());
563 memcpy(LVal.getPath(), Path.data(), Path.size() * sizeof(LValuePathEntry));
564 }
565
getMemberPointerDecl() const566 const ValueDecl *APValue::getMemberPointerDecl() const {
567 assert(isMemberPointer() && "Invalid accessor");
568 const MemberPointerData &MPD = *((const MemberPointerData*)(const char*)Data);
569 return MPD.MemberAndIsDerivedMember.getPointer();
570 }
571
isMemberPointerToDerivedMember() const572 bool APValue::isMemberPointerToDerivedMember() const {
573 assert(isMemberPointer() && "Invalid accessor");
574 const MemberPointerData &MPD = *((const MemberPointerData*)(const char*)Data);
575 return MPD.MemberAndIsDerivedMember.getInt();
576 }
577
getMemberPointerPath() const578 ArrayRef<const CXXRecordDecl*> APValue::getMemberPointerPath() const {
579 assert(isMemberPointer() && "Invalid accessor");
580 const MemberPointerData &MPD = *((const MemberPointerData*)(const char*)Data);
581 return ArrayRef<const CXXRecordDecl*>(MPD.getPath(), MPD.PathLength);
582 }
583
MakeLValue()584 void APValue::MakeLValue() {
585 assert(isUninit() && "Bad state change");
586 assert(sizeof(LV) <= MaxSize && "LV too big");
587 new ((void*)(char*)Data) LV();
588 Kind = LValue;
589 }
590
MakeArray(unsigned InitElts,unsigned Size)591 void APValue::MakeArray(unsigned InitElts, unsigned Size) {
592 assert(isUninit() && "Bad state change");
593 new ((void*)(char*)Data) Arr(InitElts, Size);
594 Kind = Array;
595 }
596
MakeMemberPointer(const ValueDecl * Member,bool IsDerivedMember,ArrayRef<const CXXRecordDecl * > Path)597 void APValue::MakeMemberPointer(const ValueDecl *Member, bool IsDerivedMember,
598 ArrayRef<const CXXRecordDecl*> Path) {
599 assert(isUninit() && "Bad state change");
600 MemberPointerData *MPD = new ((void*)(char*)Data) MemberPointerData;
601 Kind = MemberPointer;
602 MPD->MemberAndIsDerivedMember.setPointer(Member);
603 MPD->MemberAndIsDerivedMember.setInt(IsDerivedMember);
604 MPD->resizePath(Path.size());
605 memcpy(MPD->getPath(), Path.data(), Path.size()*sizeof(const CXXRecordDecl*));
606 }
607