@@ -231,7 +231,6 @@ class DefinedOrUnknownSVal : public SVal {
231
231
static bool classof (SVal V) { return !V.isUndef (); }
232
232
233
233
protected:
234
- DefinedOrUnknownSVal () = default ;
235
234
explicit DefinedOrUnknownSVal (const void *d, bool isLoc, unsigned ValKind)
236
235
: SVal(d, isLoc, ValKind) {}
237
236
explicit DefinedOrUnknownSVal (BaseKind k, void *D = nullptr ) : SVal(k, D) {}
@@ -255,15 +254,12 @@ class DefinedSVal : public DefinedOrUnknownSVal {
255
254
static bool classof (SVal V) { return !V.isUnknownOrUndef (); }
256
255
257
256
protected:
258
- DefinedSVal () = default ;
259
257
explicit DefinedSVal (const void *d, bool isLoc, unsigned ValKind)
260
258
: DefinedOrUnknownSVal(d, isLoc, ValKind) {}
261
259
};
262
260
263
261
// / Represents an SVal that is guaranteed to not be UnknownVal.
264
262
class KnownSVal : public SVal {
265
- KnownSVal () = default ;
266
-
267
263
public:
268
264
KnownSVal (const DefinedSVal &V) : SVal(V) {}
269
265
KnownSVal (const UndefinedVal &V) : SVal(V) {}
@@ -272,7 +268,6 @@ class KnownSVal : public SVal {
272
268
273
269
class NonLoc : public DefinedSVal {
274
270
protected:
275
- NonLoc () = default ;
276
271
explicit NonLoc (unsigned SubKind, const void *d)
277
272
: DefinedSVal(d, false , SubKind) {}
278
273
@@ -289,7 +284,6 @@ class NonLoc : public DefinedSVal {
289
284
290
285
class Loc : public DefinedSVal {
291
286
protected:
292
- Loc () = default ;
293
287
explicit Loc (unsigned SubKind, const void *D)
294
288
: DefinedSVal(const_cast <void *>(D), true, SubKind) {}
295
289
@@ -353,9 +347,6 @@ class ConcreteInt : public NonLoc {
353
347
}
354
348
355
349
static bool classof (NonLoc V) { return V.getSubKind () == ConcreteIntKind; }
356
-
357
- private:
358
- ConcreteInt () = default ;
359
350
};
360
351
361
352
class LocAsInteger : public NonLoc {
@@ -388,9 +379,6 @@ class LocAsInteger : public NonLoc {
388
379
}
389
380
390
381
static bool classof (NonLoc V) { return V.getSubKind () == LocAsIntegerKind; }
391
-
392
- private:
393
- LocAsInteger () = default ;
394
382
};
395
383
396
384
class CompoundVal : public NonLoc {
@@ -413,9 +401,6 @@ class CompoundVal : public NonLoc {
413
401
}
414
402
415
403
static bool classof (NonLoc V) { return V.getSubKind () == CompoundValKind; }
416
-
417
- private:
418
- CompoundVal () = default ;
419
404
};
420
405
421
406
class LazyCompoundVal : public NonLoc {
@@ -440,9 +425,6 @@ class LazyCompoundVal : public NonLoc {
440
425
static bool classof (NonLoc V) {
441
426
return V.getSubKind () == LazyCompoundValKind;
442
427
}
443
-
444
- private:
445
- LazyCompoundVal () = default ;
446
428
};
447
429
448
430
// / Value representing pointer-to-member.
@@ -490,7 +472,6 @@ class PointerToMember : public NonLoc {
490
472
}
491
473
492
474
private:
493
- PointerToMember () = default ;
494
475
explicit PointerToMember (const PTMDataType D)
495
476
: NonLoc(PointerToMemberKind, D.getOpaqueValue()) {}
496
477
};
@@ -518,9 +499,6 @@ class GotoLabel : public Loc {
518
499
}
519
500
520
501
static bool classof (Loc V) { return V.getSubKind () == GotoLabelKind; }
521
-
522
- private:
523
- GotoLabel () = default ;
524
502
};
525
503
526
504
class MemRegionVal : public Loc {
@@ -555,9 +533,6 @@ class MemRegionVal : public Loc {
555
533
}
556
534
557
535
static bool classof (Loc V) { return V.getSubKind () == MemRegionValKind; }
558
-
559
- private:
560
- MemRegionVal () = default ;
561
536
};
562
537
563
538
class ConcreteInt : public Loc {
@@ -573,9 +548,6 @@ class ConcreteInt : public Loc {
573
548
}
574
549
575
550
static bool classof (Loc V) { return V.getSubKind () == ConcreteIntKind; }
576
-
577
- private:
578
- ConcreteInt () = default ;
579
551
};
580
552
581
553
} // namespace loc
0 commit comments