parseThat: /home/d/detter/Workspace/dyninst/devel/test_pt_ls/dataflowAPI/src/stackanalysis.C:1241: void Dyninst::StackAnalysis::handlePushPop(Dyninst::InstructionAPI::Instruction::Ptr, Dyninst::ParseAPI::Block*, Dyninst::Offset, int, Dyninst::StackAnalysis::TransferFuncs&): Assertion `false' failed.

Thread 1 "parseThat" received signal SIGABRT, Aborted.
0x00007ffff705e418 in __GI_raise (sig=sig@entry=6) at ../sysdeps/unix/sysv/linux/raise.c:54
54      ../sysdeps/unix/sysv/linux/raise.c: No such file or directory.
(gdb) info stack
#0  0x00007ffff705e418 in __GI_raise (sig=sig@entry=6) at ../sysdeps/unix/sysv/linux/raise.c:54
#1  0x00007ffff706001a in __GI_abort () at abort.c:89
#2  0x00007ffff7056bd7 in __assert_fail_base (fmt=<optimized out>,
    assertion=assertion@entry=0x7ffff651f5ab "false",
    file=file@entry=0x7ffff650e620 "/home/d/detter/Workspace/dyninst/devel/test_pt_ls/dataflowAPI/src/stackanalysis.C", line=line@entry=1241,
    function=function@entry=0x7ffff65102c0 <Dyninst::StackAnalysis::handlePushPop(boost::shared_ptr<Dyninst::InstructionAPI::Instruction>, Dyninst::ParseAPI::Block*, unsigned long, int, std::__cxx11::list<Dyninst::StackAnalysis::TransferFunc, std::allocator<Dyninst::StackAnalysis::TransferFunc> >&)::__PRETTY_FUNCTION__> "void Dyninst::StackAnalysis::handlePushPop(Dyninst::InstructionAPI::Instruction::Ptr, Dyninst::ParseAPI::Block*, Dyninst::Offset, int, Dyninst::StackAnalysis::TransferFuncs&)") at assert.c:92
#3  0x00007ffff7056c82 in __GI___assert_fail (assertion=assertion@entry=0x7ffff651f5ab "false",
    file=file@entry=0x7ffff650e620 "/home/d/detter/Workspace/dyninst/devel/test_pt_ls/dataflowAPI/src/stackanalysis.C", line=line@entry=1241,
    function=function@entry=0x7ffff65102c0 <Dyninst::StackAnalysis::handlePushPop(boost::shared_ptr<Dyninst::InstructionAPI::Instruction>, Dyninst::ParseAPI::Block*, unsigned long, int, std::__cxx11::list<Dyninst::StackAnalysis::TransferFunc, std::allocator<Dyninst::StackAnalysis::TransferFunc> >&)::__PRETTY_FUNCTION__> "void Dyninst::StackAnalysis::handlePushPop(Dyninst::InstructionAPI::Instruction::Ptr, Dyninst::ParseAPI::Block*, Dyninst::Offset, int, Dyninst::StackAnalysis::TransferFuncs&)") at assert.c:101
#4  0x00007ffff63780d7 in Dyninst::StackAnalysis::handlePushPop (
    this=this@entry=0x7fffffffb790, insn=..., block=block@entry=0xc013da8,
    off=off@entry=4254564, sign=<optimized out>, xferFuncs=...)
    at /home/d/detter/Workspace/dyninst/devel/test_pt_ls/dataflowAPI/src/stackanalysis.C:1241
#5  0x00007ffff63838c8 in Dyninst::StackAnalysis::computeInsnEffects (
    this=this@entry=0x7fffffffb790, block=0xc013da8, insn=..., off=4254564, xferFuncs=...,
    funcSummary=std::map with 0 elements)
    at /home/d/detter/Workspace/dyninst/devel/test_pt_ls/dataflowAPI/src/stackanalysis.C:581
#6  0x00007ffff638460d in Dyninst::StackAnalysis::summarizeBlocks (
    this=this@entry=0x7fffffffb790, verbose=verbose@entry=true)
    at /home/d/detter/Workspace/dyninst/devel/test_pt_ls/dataflowAPI/src/stackanalysis.C:238
#7  0x00007ffff63853bd in Dyninst::StackAnalysis::genInsnEffects (this=0x7fffffffb790)
    at /home/d/detter/Workspace/dyninst/devel/test_pt_ls/dataflowAPI/src/stackanalysis.C:151
#8  0x00007ffff638574a in Dyninst::StackAnalysis::analyze (this=0x7fffffffb790)
    at /home/d/detter/Workspace/dyninst/devel/test_pt_ls/dataflowAPI/src/stackanalysis.C:95
#9  0x00007ffff6385cf2 in Dyninst::StackAnalysis::find (this=this@entry=0x7fffffffb790,
    b=b@entry=0xbfe08c8, addr=addr@entry=4254368, loc=...)
    at /home/d/detter/Workspace/dyninst/devel/test_pt_ls/dataflowAPI/src/stackanalysis.C:821
#10 0x00007ffff6385d8b in Dyninst::StackAnalysis::findSP (this=this@entry=0x7fffffffb790,
    b=b@entry=0xbfe08c8, addr=addr@entry=4254368)
    at /home/d/detter/Workspace/dyninst/devel/test_pt_ls/dataflowAPI/src/stackanalysis.C:854
#11 0x00007ffff6322b6a in Dyninst::AbsRegionConverter::getCurrentStackHeight (
    this=<optimized out>, func=<optimized out>, block=0xbfe08c8, addr=4254368,
    height=@0x7fffffffb9a8: 0)
    at /home/d/detter/Workspace/dyninst/devel/test_pt_ls/dataflowAPI/src/AbslocInterface.C:328
#12 0x00007ffff6322da3 in Dyninst::AbsRegionConverter::stack (this=this@entry=0x7fffffffd0c8,
    addr=addr@entry=4254368, func=func@entry=0xc012e20, block=block@entry=0xbfe08c8,
    push=push@entry=true)
    at /home/d/detter/Workspace/dyninst/devel/test_pt_ls/dataflowAPI/src/AbslocInterface.C:282
#13 0x00007ffff6322f03 in Dyninst::AssignmentConverter::handlePushEquivalent (
    this=this@entry=0x7fffffffd090, I=..., addr=4254368, func=func@entry=0xc012e20,
    block=block@entry=0xbfe08c8, operands=std::vector of length 1, capacity 1 = {...},
    assignments=std::vector of length 0, capacity 0)
    at /home/d/detter/Workspace/dyninst/devel/test_pt_ls/dataflowAPI/src/AbslocInterface.C:723
#14 0x00007ffff6327e22 in Dyninst::AssignmentConverter::convert (
    this=this@entry=0x7fffffffd090, I=..., addr=@0x7fffffffc188: 4254368, func=0xc012e20,
    block=0xbfe08c8, assignments=std::vector of length 0, capacity 0)
    at /home/d/detter/Workspace/dyninst/devel/test_pt_ls/dataflowAPI/src/AbslocInterface.C:433
#15 0x00007ffff635125a in Dyninst::Slicer::convertInstruction (this=this@entry=0x7fffffffcef0,
    insn=..., addr=4254368, func=<optimized out>, block=<optimized out>,
    ret=std::vector of length 0, capacity 0)
    at /home/d/detter/Workspace/dyninst/devel/test_pt_ls/dataflowAPI/src/slicing.C:1539
#16 0x00007ffff6357d58 in Dyninst::Slicer::updateAndLink (this=this@entry=0x7fffffffcef0,
    g=..., dir=dir@entry=Dyninst::Slicer::forward, cand=..., cache=..., p=...)
    at /home/d/detter/Workspace/dyninst/devel/test_pt_ls/dataflowAPI/src/slicing.C:391
#17 0x00007ffff635acae in Dyninst::Slicer::sliceInternalAux (this=this@entry=0x7fffffffcef0,
    g=..., dir=dir@entry=Dyninst::Slicer::forward, p=..., cand=..., skip=skip@entry=false,
    visited=std::map with 6 elements = {...}, singleCache=std::map with 7 elements = {...},
    cache=std::map with 0 elements)
    at /home/d/detter/Workspace/dyninst/devel/test_pt_ls/dataflowAPI/src/slicing.C:231
#18 0x00007ffff635b3e0 in Dyninst::Slicer::sliceInternalAux (this=this@entry=0x7fffffffcef0,
    g=..., dir=dir@entry=Dyninst::Slicer::forward, p=..., cand=..., skip=skip@entry=false,
    visited=std::map with 6 elements = {...}, singleCache=std::map with 7 elements = {...},
    cache=std::map with 0 elements)
    at /home/d/detter/Workspace/dyninst/devel/test_pt_ls/dataflowAPI/src/slicing.C:307
#19 0x00007ffff635b3e0 in Dyninst::Slicer::sliceInternalAux (this=this@entry=0x7fffffffcef0,
    g=..., dir=dir@entry=Dyninst::Slicer::forward, p=..., cand=..., skip=skip@entry=false,
    visited=std::map with 6 elements = {...}, singleCache=std::map with 7 elements = {...},
    cache=std::map with 0 elements)
    at /home/d/detter/Workspace/dyninst/devel/test_pt_ls/dataflowAPI/src/slicing.C:307
#20 0x00007ffff635b3e0 in Dyninst::Slicer::sliceInternalAux (this=this@entry=0x7fffffffcef0,
    g=..., dir=dir@entry=Dyninst::Slicer::forward, p=..., cand=..., skip=skip@entry=false,
    visited=std::map with 6 elements = {...}, singleCache=std::map with 7 elements = {...},
    cache=std::map with 0 elements)
    at /home/d/detter/Workspace/dyninst/devel/test_pt_ls/dataflowAPI/src/slicing.C:307
#21 0x00007ffff635b3e0 in Dyninst::Slicer::sliceInternalAux (this=this@entry=0x7fffffffcef0,
    g=..., dir=dir@entry=Dyninst::Slicer::forward, p=..., cand=..., skip=skip@entry=false,
    visited=std::map with 6 elements = {...}, singleCache=std::map with 7 elements = {...},
    cache=std::map with 0 elements)
    at /home/d/detter/Workspace/dyninst/devel/test_pt_ls/dataflowAPI/src/slicing.C:307
#22 0x00007ffff635b3e0 in Dyninst::Slicer::sliceInternalAux (this=this@entry=0x7fffffffcef0,
    g=..., dir=dir@entry=Dyninst::Slicer::forward, p=..., cand=..., skip=skip@entry=false,
    visited=std::map with 6 elements = {...}, singleCache=std::map with 7 elements = {...},
    cache=std::map with 0 elements)
    at /home/d/detter/Workspace/dyninst/devel/test_pt_ls/dataflowAPI/src/slicing.C:307
#23 0x00007ffff635b3e0 in Dyninst::Slicer::sliceInternalAux (this=this@entry=0x7fffffffcef0,
    g=..., dir=dir@entry=Dyninst::Slicer::forward, p=..., cand=..., skip=skip@entry=true,
    visited=std::map with 6 elements = {...}, singleCache=std::map with 7 elements = {...},
    cache=std::map with 0 elements)
    at /home/d/detter/Workspace/dyninst/devel/test_pt_ls/dataflowAPI/src/slicing.C:307
#24 0x00007ffff635c1e1 in Dyninst::Slicer::sliceInternal (this=this@entry=0x7fffffffcef0,
    dir=dir@entry=Dyninst::Slicer::forward, p=...)
    at /home/d/detter/Workspace/dyninst/devel/test_pt_ls/dataflowAPI/src/slicing.C:195
#25 0x00007ffff635c5dd in Dyninst::Slicer::forwardSlice (this=this@entry=0x7fffffffcef0,
    predicates=...)
    at /home/d/detter/Workspace/dyninst/devel/test_pt_ls/dataflowAPI/src/slicing.C:1387
#26 0x00007ffff7afd63d in Dyninst::Relocation::PCSensitiveTransformer::forwardSlice (
    this=this@entry=0x7fffffffd3a0, ptr=..., block=<optimized out>, func=<optimized out>)
    at /home/d/detter/Workspace/dyninst/devel/test_pt_ls/dyninstAPI/src/Relocation/Transformers/Movement-analysis.C:381
#27 0x00007ffff7afde95 in Dyninst::Relocation::PCSensitiveTransformer::process (
    this=0x7fffffffd3a0, reloc=0x13aadcb0, g=0x10d33d00)
    at /home/d/detter/Workspace/dyninst/devel/test_pt_ls/dyninstAPI/src/Relocation/Transformers/Movement-analysis.C:171
#28 0x00007ffff7aedb60 in Dyninst::Relocation::Transformer::processGraph (this=0x7fffffffd3a0,
    cfg=0x10d33d00)
    at /home/d/detter/Workspace/dyninst/devel/test_pt_ls/dyninstAPI/src/Relocation/Transformers/Transformer.C:43
#29 0x00007ffff7ad7c46 in Dyninst::Relocation::CodeMover::transform (this=0x13aa4e50, t=...)
    at /home/d/detter/Workspace/dyninst/devel/test_pt_ls/dyninstAPI/src/Relocation/CodeMover.C:139
#30 0x00007ffff7a68207 in AddressSpace::transform (this=this@entry=0x791870, cm=...)
    at /home/d/detter/Workspace/dyninst/devel/test_pt_ls/dyninstAPI/src/addressSpace.C:1892
#31 0x00007ffff7a686d1 in AddressSpace::relocateInt (this=this@entry=0x791870, begin=,
    end=end@entry=, nearTo=4255090)
    at /home/d/detter/Workspace/dyninst/devel/test_pt_ls/dyninstAPI/src/addressSpace.C:1759
#32 0x00007ffff7a6959c in AddressSpace::relocate (this=this@entry=0x791870)
    at /home/d/detter/Workspace/dyninst/devel/test_pt_ls/dyninstAPI/src/addressSpace.C:1721
#33 0x00007ffff7b081e9 in Dyninst::PatchAPI::DynInstrumenter::run (this=<optimized out>)
    at /home/d/detter/Workspace/dyninst/devel/test_pt_ls/dyninstAPI/src/Relocation/DynInstrumenter.C:54
#34 0x00007ffff67dd1d6 in Dyninst::PatchAPI::Patcher::run (this=0x6fa7e0)
    at /home/d/detter/Workspace/dyninst/devel/test_pt_ls/patchAPI/src/Command.C:113
#35 0x00007ffff67dc90f in Dyninst::PatchAPI::Command::commit (this=0x6fa7e0)
    at /home/d/detter/Workspace/dyninst/devel/test_pt_ls/patchAPI/src/Command.C:54
#36 0x00007ffff7a07ecd in BPatch_process::finalizeInsertionSet (this=0x685c60)
    at /home/d/detter/Workspace/dyninst/devel/test_pt_ls/dyninstAPI/src/BPatch_process.C:818
#37 0x00007ffff7a31687 in BPatch_addressSpace::insertSnippet (this=0x685c60, expr=...,
    points=std::vector of length 1, capacity 1 = {...}, when=BPatch_callUnset,
    order=BPatch_firstSnippet)
    at /home/d/detter/Workspace/dyninst/devel/test_pt_ls/dyninstAPI/src/BPatch_addressSpace.C:969
#38 0x000000000040f599 in instrumentFunctionEntry (dh=dh@entry=0x67c7f0, func=0xc3564f0)
    at /home/d/detter/Workspace/dyninst/devel/test_pt_ls/parseThat/src/dyninstCore.C:1050
#39 0x0000000000410e70 in launch_mutator ()
    at /home/d/detter/Workspace/dyninst/devel/test_pt_ls/parseThat/src/dyninstCore.C:445
#40 0x00000000004054c3 in runParseThat (bannerLen=<optimized out>)
    at /home/d/detter/Workspace/dyninst/devel/test_pt_ls/parseThat/src/parseThat.C:91
#41 0x0000000000404b5a in main (argc=<optimized out>, argv=<optimized out>)
    at /home/d/detter/Workspace/dyninst/devel/test_pt_ls/parseThat/src/parseThat.C:77