Re: [abc] RE: bug in TM codegen?

No problem, glad to help.

- P

Eric Bodden wrote:

>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:16:40 2006