Summary
- Reorganize CandidateFinder to lower indentation. I did not flatten the anonymous namespace because there is a lot both inside and outside it. (details)
- CandidateFinder fills in the CodeLocation on a generated expression. With that and recent changes, the fills seem to be redundent now, so I removed them. (details)
- Update macros in main. DUMP is now a macro to save space/noise and the PASS macro now runs checkInvariants afterwards if --invariant is on. (details)
The file was modified | src/ResolvExpr/CandidateFinder.cpp |
The file was modified | src/ResolvExpr/CandidateFinder.cpp |
The file was modified | src/main.cc |
The file was modified | src/InitTweak/FixInitNew.cpp |
The file was modified | src/ResolvExpr/ExplodedArg.hpp |
The file was modified | src/main.cc |