-
Notifications
You must be signed in to change notification settings - Fork 0
/
main.dl
36 lines (33 loc) · 767 Bytes
/
main.dl
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
#define LOG_USED
#define REACHABLE_ONLY
#ifdef REACHABLE_ONLY
# define REACHABLE(x) Reachable(x),
# define NEW_REACHABLE(x) Reachable(x)
#else
# define REACHABLE(x)
#endif
#ifdef LOG_USED
# define USED(x) Used(x),
#else
# define USED(x)
#endif
#include "AST.dl"
#include "CBy.dl"
#include "CFA.dl"
#include "Check.dl"
#include "LVA.dl"
#include "PointsTo.dl"
#include "PrimOp-Addr.dl"
#include "PrimOp-Arrays.dl"
#include "PrimOp-ByteArray.dl"
#include "PrimOp-Bytecode.dl"
#include "PrimOp-CCS.dl"
#include "PrimOp-Compact.dl"
#include "PrimOp-Concurrency.dl"
#include "PrimOp-Exception.dl"
#include "PrimOp-MutVar.dl"
#include "PrimOp-MVar.dl"
#include "PrimOp-Parallelism.dl"
#include "PrimOp-STM.dl"
#include "PrimOp-StablePtr.dl"
#include "PrimOp-WeakPtr.dl"