[dfsan] Simplify code after r197677.