Skip to content
Success

Changes

Summary

  1. Reorganize CandidateFinder to lower indentation. I did not flatten the anonymous namespace because there is a lot both inside and outside it. (details)
  2. 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)
  3. 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)
Commit 153d34408419fe9615ec1c323d9841d6de91b72f by ajbeach
Reorganize CandidateFinder to lower indentation. I did not flatten the anonymous namespace because there is a lot both inside and outside it.
The file was modifiedsrc/ResolvExpr/CandidateFinder.cpp
Commit eb8d7911730848b28e94420c3e942149c370232e by ajbeach
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.
The file was modifiedsrc/ResolvExpr/CandidateFinder.cpp
The file was modifiedsrc/main.cc
The file was modifiedsrc/InitTweak/FixInitNew.cpp
The file was modifiedsrc/ResolvExpr/ExplodedArg.hpp
Commit 52f9804b5402b3c2bb086f8a06508d74b760ed63 by ajbeach
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.
The file was modifiedsrc/main.cc