[abc] RE: bug in TM codegen?

Please ignore my previous mail. It works properly with the HEAD version. So it's a fault on my side. Sorry!!

Eric

> -----Original Message-----
> From: Eric Bodden
> Sent: Monday, October 23, 2006 12:05 PM
> To: 'abc@comlab.ox.ac.uk'
> Subject: bug in TM codegen?
>
> Hi.
>
> I found something that looks a lot like a bug in the code generation.
> First I thought it was me doing something silly but the same happens in
> the main abc branch, too.
>
> If I just compile the attached tracematch with the abc standard
> options, and then run ASyncIteration, I get the following exception:
>
> mucuna ~/workspaces/abc/Test/out $ java -cp .:../../abc-tmopt/lib/abc-
> runtime.jar ASyncIteration Exception in thread "main"
> java.lang.NullPointerException
> at Constraint$tracematch$0.lookup1(Jasmin)
> at Constraint$tracematch$0.queue(Jasmin)
> at
> ASyncIteration$SyncCheck.afterReturning$1(ASyncIteration.java)
> at ASyncIteration.main(ASyncIteration.java:18)
>
> This happens regardless of whether indexing is enabled or disabled, so
> I assume that the bug is in ASyncIteration and not in the conjuct or
> disjunct class.
>
> I have the generated jimple attached. It would be great if you guys
> could look into this ASAP because it prevents some of my benchmarks
> from running.
>
> Cheers,
> Eric
>
> --
> Eric Bodden
> Sable Research Group, McGill University
> Montréal, Québec, Canada
>
Received on Mon Oct 23 17:15:15 2006