@@ -98,7 +98,7 @@ class ProgramPoint {
98
98
llvm::PointerIntPair<const ProgramPointTag *, 2 , unsigned > Tag;
99
99
100
100
protected:
101
- ProgramPoint () {}
101
+ ProgramPoint () = default ;
102
102
ProgramPoint (const void *P,
103
103
Kind k,
104
104
const LocationContext *l,
@@ -234,7 +234,7 @@ class BlockEntrance : public ProgramPoint {
234
234
235
235
private:
236
236
friend class ProgramPoint ;
237
- BlockEntrance () {}
237
+ BlockEntrance () = default ;
238
238
static bool isKind (const ProgramPoint &Location) {
239
239
return Location.getKind () == BlockEntranceKind;
240
240
}
@@ -255,7 +255,7 @@ class BlockExit : public ProgramPoint {
255
255
256
256
private:
257
257
friend class ProgramPoint ;
258
- BlockExit () {}
258
+ BlockExit () = default ;
259
259
static bool isKind (const ProgramPoint &Location) {
260
260
return Location.getKind () == BlockExitKind;
261
261
}
@@ -275,7 +275,7 @@ class StmtPoint : public ProgramPoint {
275
275
const T* getStmtAs () const { return dyn_cast<T>(getStmt ()); }
276
276
277
277
protected:
278
- StmtPoint () {}
278
+ StmtPoint () = default ;
279
279
private:
280
280
friend class ProgramPoint ;
281
281
static bool isKind (const ProgramPoint &Location) {
@@ -295,15 +295,15 @@ class PreStmt : public StmtPoint {
295
295
296
296
private:
297
297
friend class ProgramPoint ;
298
- PreStmt () {}
298
+ PreStmt () = default ;
299
299
static bool isKind (const ProgramPoint &Location) {
300
300
return Location.getKind () == PreStmtKind;
301
301
}
302
302
};
303
303
304
304
class PostStmt : public StmtPoint {
305
305
protected:
306
- PostStmt () {}
306
+ PostStmt () = default ;
307
307
PostStmt (const Stmt *S, const void *data, Kind k, const LocationContext *L,
308
308
const ProgramPointTag *tag = nullptr )
309
309
: StmtPoint(S, data, k, L, tag) {}
@@ -334,15 +334,15 @@ class PostCondition : public PostStmt {
334
334
335
335
private:
336
336
friend class ProgramPoint ;
337
- PostCondition () {}
337
+ PostCondition () = default ;
338
338
static bool isKind (const ProgramPoint &Location) {
339
339
return Location.getKind () == PostConditionKind;
340
340
}
341
341
};
342
342
343
343
class LocationCheck : public StmtPoint {
344
344
protected:
345
- LocationCheck () {}
345
+ LocationCheck () = default ;
346
346
LocationCheck (const Stmt *S, const LocationContext *L,
347
347
ProgramPoint::Kind K, const ProgramPointTag *tag)
348
348
: StmtPoint(S, nullptr , K, L, tag) {}
@@ -363,7 +363,7 @@ class PreLoad : public LocationCheck {
363
363
364
364
private:
365
365
friend class ProgramPoint ;
366
- PreLoad () {}
366
+ PreLoad () = default ;
367
367
static bool isKind (const ProgramPoint &location) {
368
368
return location.getKind () == PreLoadKind;
369
369
}
@@ -377,7 +377,7 @@ class PreStore : public LocationCheck {
377
377
378
378
private:
379
379
friend class ProgramPoint ;
380
- PreStore () {}
380
+ PreStore () = default ;
381
381
static bool isKind (const ProgramPoint &location) {
382
382
return location.getKind () == PreStoreKind;
383
383
}
@@ -391,7 +391,7 @@ class PostLoad : public PostStmt {
391
391
392
392
private:
393
393
friend class ProgramPoint ;
394
- PostLoad () {}
394
+ PostLoad () = default ;
395
395
static bool isKind (const ProgramPoint &Location) {
396
396
return Location.getKind () == PostLoadKind;
397
397
}
@@ -418,7 +418,7 @@ class PostStore : public PostStmt {
418
418
419
419
private:
420
420
friend class ProgramPoint ;
421
- PostStore () {}
421
+ PostStore () = default ;
422
422
static bool isKind (const ProgramPoint &Location) {
423
423
return Location.getKind () == PostStoreKind;
424
424
}
@@ -432,7 +432,7 @@ class PostLValue : public PostStmt {
432
432
433
433
private:
434
434
friend class ProgramPoint ;
435
- PostLValue () {}
435
+ PostLValue () = default ;
436
436
static bool isKind (const ProgramPoint &Location) {
437
437
return Location.getKind () == PostLValueKind;
438
438
}
@@ -448,7 +448,7 @@ class PreStmtPurgeDeadSymbols : public StmtPoint {
448
448
449
449
private:
450
450
friend class ProgramPoint ;
451
- PreStmtPurgeDeadSymbols () {}
451
+ PreStmtPurgeDeadSymbols () = default ;
452
452
static bool isKind (const ProgramPoint &Location) {
453
453
return Location.getKind () == PreStmtPurgeDeadSymbolsKind;
454
454
}
@@ -464,7 +464,7 @@ class PostStmtPurgeDeadSymbols : public StmtPoint {
464
464
465
465
private:
466
466
friend class ProgramPoint ;
467
- PostStmtPurgeDeadSymbols () {}
467
+ PostStmtPurgeDeadSymbols () = default ;
468
468
static bool isKind (const ProgramPoint &Location) {
469
469
return Location.getKind () == PostStmtPurgeDeadSymbolsKind;
470
470
}
@@ -488,7 +488,7 @@ class BlockEdge : public ProgramPoint {
488
488
489
489
private:
490
490
friend class ProgramPoint ;
491
- BlockEdge () {}
491
+ BlockEdge () = default ;
492
492
static bool isKind (const ProgramPoint &Location) {
493
493
return Location.getKind () == BlockEdgeKind;
494
494
}
@@ -517,7 +517,7 @@ class PostInitializer : public ProgramPoint {
517
517
518
518
private:
519
519
friend class ProgramPoint ;
520
- PostInitializer () {}
520
+ PostInitializer () = default ;
521
521
static bool isKind (const ProgramPoint &Location) {
522
522
return Location.getKind () == PostInitializerKind;
523
523
}
@@ -538,7 +538,7 @@ class ImplicitCallPoint : public ProgramPoint {
538
538
}
539
539
540
540
protected:
541
- ImplicitCallPoint () {}
541
+ ImplicitCallPoint () = default ;
542
542
private:
543
543
friend class ProgramPoint ;
544
544
static bool isKind (const ProgramPoint &Location) {
@@ -558,7 +558,7 @@ class PreImplicitCall : public ImplicitCallPoint {
558
558
559
559
private:
560
560
friend class ProgramPoint ;
561
- PreImplicitCall () {}
561
+ PreImplicitCall () = default ;
562
562
static bool isKind (const ProgramPoint &Location) {
563
563
return Location.getKind () == PreImplicitCallKind;
564
564
}
@@ -575,7 +575,7 @@ class PostImplicitCall : public ImplicitCallPoint {
575
575
576
576
private:
577
577
friend class ProgramPoint ;
578
- PostImplicitCall () {}
578
+ PostImplicitCall () = default ;
579
579
static bool isKind (const ProgramPoint &Location) {
580
580
return Location.getKind () == PostImplicitCallKind;
581
581
}
@@ -589,7 +589,7 @@ class PostAllocatorCall : public StmtPoint {
589
589
590
590
private:
591
591
friend class ProgramPoint ;
592
- PostAllocatorCall () {}
592
+ PostAllocatorCall () = default ;
593
593
static bool isKind (const ProgramPoint &Location) {
594
594
return Location.getKind () == PostAllocatorCallKind;
595
595
}
@@ -620,7 +620,7 @@ class CallEnter : public ProgramPoint {
620
620
621
621
private:
622
622
friend class ProgramPoint ;
623
- CallEnter () {}
623
+ CallEnter () = default ;
624
624
static bool isKind (const ProgramPoint &Location) {
625
625
return Location.getKind () == CallEnterKind;
626
626
}
@@ -643,7 +643,7 @@ class CallExitBegin : public ProgramPoint {
643
643
644
644
private:
645
645
friend class ProgramPoint ;
646
- CallExitBegin () {}
646
+ CallExitBegin () = default ;
647
647
static bool isKind (const ProgramPoint &Location) {
648
648
return Location.getKind () == CallExitBeginKind;
649
649
}
@@ -664,7 +664,7 @@ class CallExitEnd : public ProgramPoint {
664
664
665
665
private:
666
666
friend class ProgramPoint ;
667
- CallExitEnd () {}
667
+ CallExitEnd () = default ;
668
668
static bool isKind (const ProgramPoint &Location) {
669
669
return Location.getKind () == CallExitEndKind;
670
670
}
@@ -687,7 +687,7 @@ class LoopExit : public ProgramPoint {
687
687
688
688
private:
689
689
friend class ProgramPoint ;
690
- LoopExit () {}
690
+ LoopExit () = default ;
691
691
static bool isKind (const ProgramPoint &Location) {
692
692
return Location.getKind () == LoopExitKind;
693
693
}
@@ -706,7 +706,7 @@ class EpsilonPoint : public ProgramPoint {
706
706
707
707
private:
708
708
friend class ProgramPoint ;
709
- EpsilonPoint () {}
709
+ EpsilonPoint () = default ;
710
710
static bool isKind (const ProgramPoint &Location) {
711
711
return Location.getKind () == EpsilonKind;
712
712
}
0 commit comments