search for: dofinailization

no... I guess verifier runs by default and it points to the doFinailization() function :-( ~t On Tue, Aug 12, 2014 at 12:53 AM, Eric Christopher <echristo at gmail.com> wrote: > No idea, I was suggesting to just run the verifier to see if it would > pinpoint what's broken about the module. > > -eric > > On Tue, Aug 12, 2014 at 12:52 AM, Tian...

...sto at gmail.com> wrote: > Weird, it definitely shouldn't be crashing. How did you create your module? > > -eric > > On Tue, Aug 12, 2014 at 12:56 AM, Tianyin Xu <tixu at cs.ucsd.edu> wrote: > > no... I guess verifier runs by default and it points to the > > doFinailization() function :-( > > > > ~t > > > > > > On Tue, Aug 12, 2014 at 12:53 AM, Eric Christopher <echristo at gmail.com> > > wrote: > >> > >> No idea, I was suggesting to just run the verifier to see if it would > >> pinpoint what's b...

...be crashing. How did you create your > >> module? > >> > >> -eric > >> > >> On Tue, Aug 12, 2014 at 12:56 AM, Tianyin Xu <tixu at cs.ucsd.edu> wrote: > >> > no... I guess verifier runs by default and it points to the > >> > doFinailization() function :-( > >> > > >> > ~t > >> > > >> > > >> > On Tue, Aug 12, 2014 at 12:53 AM, Eric Christopher < > echristo at gmail.com> > >> > wrote: > >> >> > >> >> No idea, I was suggesting t...

Oh, you mean opt -disable-verify? Yes, it does eliminate the crashing... Do you know what's the problem, Eric? Thanks a lot! ~t On Tue, Aug 12, 2014 at 12:42 AM, Eric Christopher <echristo at gmail.com> wrote: > Tried opt -verify on your module? > > -eric > > On Tue, Aug 12, 2014 at 12:28 AM, Tianyin Xu <tixu at cs.ucsd.edu> wrote: > > Hi all, > >