[m-rev.] trivial diff: workaround cygwin C compiler bug

Zoltan Somogyi zs at cs.mu.OZ.AU
Wed Jan 29 13:44:19 AEDT 2003


On 29-Jan-2003, Mark Brown <dougl at cs.mu.OZ.AU> wrote:
> Wait, I think I see the problem.  We use the code addresses of those labels
> to look up the label layout info in a hash table, with the assumption that
> different labels will have different code addresses.  In this case,
> though, the code pointed to by the two labels happens to be identical,
> and the C compiler appears to recognise this and (quite rightly) merge the
> two pieces of code into one.  So I think our assumption is wrong.

The code generator is supposed to ensure that the assumption is right,
i.e. that there is code that cannot be optimized away between labels with
layout structures.

Can you mail me the test case?

Zoltan.
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------



More information about the reviews mailing list