Lines Matching full:unreachable
9 // This file implements a generalized unreachable code checker using a
90 // in a template instantiation is unreachable means proving that it is
91 // unreachable in all instantiations.
99 // Check if the block is unreachable
121 // instance. Unreachable code directly under a "default" label is therefore
128 // FIXME: This should be extended to include other unreachable markers,
165 B.EmitBasicReport(D, "Unreachable code", "Dead code",
179 // If we find an unreachable predecessor, mark this block as reachable so
183 // If we haven't previously visited the unreachable predecessor, recurse
214 // If there are no predecessors, then this block is trivially unreachable
