Transforming C++ Code with DMS
summary
Shows a concrete comparison of DMS generalized compiler versus Clang tree rewrites, with the actual transformation rewriting a += to a = a + b written and executed. Demonstrates the problem of duplicated side effects and the fix: add a conditional rewrite that preserves semantics, implements an external semantic check that detects user-defined operator overloads and prevents unsafe rewrites, and links to slides and source on the uploader’s GitHub so the working code can be inspected.
AI-written summary · about
related talks
47mAdventures with C++ Legacy Codebases: Tales of Incremental Improvement
01h 01mCode Analysis++
48mTooling Intuition
49mPets, Cattle and Automatic Clang Operations with C++ Code
53mDebug C++ Without Running
01h 00mDebug C++ Without Running
56mHow to Refactor Millions of Line of Code Without Alienating Colleagues
51mCode Analysis ++