SPARK translation cleanup; indirect write assertions heuristic implementation.
Former-commit-id: 22c94d9650fb771c3b3e78ce3cc18deff5700f62
Showing
- include/base/SMPDataFlowAnalysis.h 1 addition, 1 deletioninclude/base/SMPDataFlowAnalysis.h
- include/base/SMPFunction.h 1 addition, 0 deletionsinclude/base/SMPFunction.h
- include/base/SMPInstr.h 8 additions, 3 deletionsinclude/base/SMPInstr.h
- src/base/SMPDataFlowAnalysis.cpp 23 additions, 8 deletionssrc/base/SMPDataFlowAnalysis.cpp
- src/base/SMPFunction.cpp 104 additions, 209 deletionssrc/base/SMPFunction.cpp
- src/base/SMPInstr.cpp 248 additions, 112 deletionssrc/base/SMPInstr.cpp
Loading
Please register or sign in to comment