Hit a showstopper issue

[Dibyendu Majumdar]

On 15 June 2015 at 20:32, Dibyendu Majumdar <mobile@majumdar.org.uk> wrote:
> I apologize for bringing in LLVM comparison again - but they have a
> model that seems to work just right. Basically the LLVM
> verifier/compiler will detect invalid blocks and conrol flow - which
> is more important for debugging purposes. Usually a bug will manifest
> itself in some corruption in the control flow - e.g. variable not
> accessible in all code paths and such - LLVM detects these and raises
> errors.

Of course LLVM's IR is SSA form so that probably makes it easier to
validate the control flow. They described this as 'well formed'-ness -
the verifier detects if the code is  well-formed and complains if 'the
definition of %x does not dominate all of its uses'. My understanding
is that the IR you are working with is not SSA-form so this type of
validation may not be possible...

In any case a warning about unreachable bocks may be more appropriate
than errors.

Regards