forked from vgvassilev/creduce
-
Notifications
You must be signed in to change notification settings - Fork 0
/
SimplifyStruct.h
79 lines (54 loc) · 1.74 KB
/
SimplifyStruct.h
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
//===----------------------------------------------------------------------===//
//
// Copyright (c) 2012 The University of Utah
// All rights reserved.
//
// This file is distributed under the University of Illinois Open Source
// License. See the file COPYING for details.
//
//===----------------------------------------------------------------------===//
#ifndef SIMPLIFY_STRUCT_H
#define SIMPLIFY_STRUCT_H
#include "llvm/ADT/SmallPtrSet.h"
#include "Transformation.h"
namespace clang {
class DeclGroupRef;
class ASTContext;
class RecordDecl;
class FieldDecl;
}
class SimplifyStructCollectionVisitor;
class SimplifyStructRewriteVisitor;
class SimplifyStruct : public Transformation {
friend class SimplifyStructCollectionVisitor;
friend class SimplifyStructRewriteVisitor;
public:
SimplifyStruct(const char *TransName, const char *Desc)
: Transformation(TransName, Desc),
CollectionVisitor(NULL),
RewriteVisitor(NULL),
TheRecordDecl(NULL),
ReplacingRecordDecl(NULL),
VolatileField(false),
ConstField(false)
{ }
~SimplifyStruct(void);
private:
typedef llvm::SmallPtrSet<void *, 10> LocPtrSet;
virtual void Initialize(clang::ASTContext &context);
virtual void HandleTranslationUnit(clang::ASTContext &Ctx);
void setQualifierFlags(const clang::FieldDecl *FD);
LocPtrSet VisitedLocs;
LocPtrSet VisitedVarDeclLocs;
SimplifyStructCollectionVisitor *CollectionVisitor;
SimplifyStructRewriteVisitor *RewriteVisitor;
const clang::RecordDecl *TheRecordDecl;
const clang::RecordDecl *ReplacingRecordDecl;
bool VolatileField;
bool ConstField;
// Unimplemented
SimplifyStruct(void);
SimplifyStruct(const SimplifyStruct &);
void operator=(const SimplifyStruct &);
};
#endif