Assertion `STARS_INFINITE_OR_MIDDLE_TESTING_LOOP == this->LoopTypesByLoopNum[LoopNumber]' failed.
See attached kill_deads.log/a.ncexe files and snippet below. Can duplicate with Zipr Test Suite with:
./test_zipr.sh --ubuntu16 --binary monero --compiler gcc --optlvl O2 --nopie --nostrip --config-to-test kill_deads
Add --debug
to help debug the problem.
Alternately, it maybe can duplicated with $PSZ a.ncexe xxx -c rida -c kill_deads
assuming Zipr and the IRDB Cookbook Examples repo is setup properly.
Billing note: Can charge to AIS/Purchase orders if you have hours left from previous allotment.
INFO: SPARK: IsNextDownwardUseNotByExternalCallInst() returns true due to use at 42d56 of reg EAX in _ZN10cryptonote29t_cryptonote_protocol_handlerINS_4coreEED0Ev at 42d22
INFO: Found safe indirect write in AnalyzeMemWriteSafety at 0x42d32
INFO: Found safe indirect write in AnalyzeMemWriteSafety at 0x42d34
INFO: Found safe indirect write in AnalyzeMemWriteSafety at 0x42d5c
INFO: Found safe indirect memory writes in func at 0x42d22
INFO: Function at 42d22 becoming unsafe for fast returns because it is indirect call target.
INFO: Function at 42d22 becoming unsafe for fast returns because it is tail call target.
INFO: Function at 42d22 becoming unsafe for fast returns because it makes a tail call.
UNSAFE function _ZN10cryptonote29t_cryptonote_protocol_handlerINS_4coreEED0Ev StackPtrCopy: 0 StackPtrPush: 0 IndirectGlobal: 0 WritesAboveFrame: 0 AccessesRA: 0 IndirectStack: 0 IndirectWrite: 1 AnalyzedSP: 1 UnresolvedCalls: 0 UnresolvedJumps: 0 SharedChunks: 0 IsLeaf: 0 IndirCallTarget: 1 TailCallTarget: 1 HasNoCallers: 0 MultiEntry: 0
INFO: GlobalNames size is 26 for func at 13f264
INFO: Max SSANum used for global names: 37
INFO: LoopDoubleTailBlock: block 20 in _ZN10cryptonote29t_cryptonote_protocol_handlerINS_4coreEEC2ERS1_PN8nodetool14i_p2p_endpointINS_29cryptonote_connection_contextEEEb at 13f264
ERROR: SPARK: UpdateLoopFollowBlockNum() ignoring follow block 15 which dominates loop head block 19 in loop 0 in _ZN10cryptonote29t_cryptonote_protocol_handlerINS_4coreEEC2ERS1_PN8nodetool14i_p2p_endpointINS_29cryptonote_connection_contextEEEb at 13f264
ERROR: SPARK: UpdateLoopFollowBlockNum() ignoring follow block 15 which dominates loop head block 19 in loop 0 in _ZN10cryptonote29t_cryptonote_protocol_handlerINS_4coreEEC2ERS1_PN8nodetool14i_p2p_endpointINS_29cryptonote_connection_contextEEEb at 13f264
ERROR: SPARK: UpdateLoopFollowBlockNum() ignoring follow block 15 which dominates loop head block 15 in loop 1 in _ZN10cryptonote29t_cryptonote_protocol_handlerINS_4coreEEC2ERS1_PN8nodetool14i_p2p_endpointINS_29cryptonote_connection_contextEEEb at 13f264
thanos.exe: SMPStaticAnalyzer/src/base/SMPFunction.cpp:7549: void SMPFunction::ClassifyLoop(size_t, int, int, SMPBasicBlock*, SMPBasicBlock*, bool, bool): Assertion `STARS_INFINITE_OR_MIDDLE_TESTING_LOOP == this->LoopTypesByLoopNum[LoopNumber]' failed.