[-Wunreachable-code] Teach reachable code analysis heuristics about more literal types.
[-Wunreachable-code] Correctly expand artificial reachability to pruned '&&' and '||' branches involving configuration values.