Assertion `InverseInsertResult.second' failed
...
WARNING: Callee stack ptr analysis not yet performed at inst 11aa8 ; stack adjustment used
WARNING: Callee stack ptr analysis not yet performed at inst 11c9c ; stack adjustment used
WARNING: Callee stack ptr analysis not yet performed at inst 125a0 ; stack adjustment used
WARNING: Callee stack ptr analysis not yet performed at inst 125e0 ; stack adjustment used
WARNING: Callee stack ptr analysis not yet performed at inst 127ce ; stack adjustment used
WARNING: Callee stack ptr analysis not yet performed at inst 122ea ; stack adjustment used
WARNING: Callee stack ptr analysis not yet performed at inst 12820 ; stack adjustment used
WARNING: Callee stack ptr analysis not yet performed at inst 11cc0 ; stack adjustment used
WARNING: Callee stack ptr analysis not yet performed at inst 127b2 ; stack adjustment used
WARNING: Callee stack ptr analysis not yet performed at inst 128ba ; stack adjustment used
WARNING: DeltaIncrement of 16 not alloca multiple for block 89 at 12882
WARNING: Callee stack ptr analysis not yet performed at inst 11cde ; stack adjustment used
WARNING: Callee stack ptr analysis not yet performed at inst 12812 ; stack adjustment used
WARNING: DeltaIncrement of 16 not alloca multiple for block 458 at 11b4a
WARNING: DeltaIncrement of 16 not alloca multiple for block 78 at 128da
WARNING: DeltaIncrement of 16 not alloca multiple for block 122 at 12428
WARNING: Callee stack ptr analysis not yet performed at inst 12648 ; stack adjustment used
WARNING: Callee stack ptr analysis not yet performed at inst 1290c ; stack adjustment used
WARNING: Callee stack ptr analysis not yet performed at inst 11b0c ; stack adjustment used
WARNING: DeltaIncrement of 16 not alloca multiple for block 215 at 126cc
WARNING: DeltaIncrement of 48 not alloca multiple for block 82 at 128f4
thanos.exe: SMPStaticAnalyzer/src/base/SMPFunction_part1.cpp:1403: void SMPFunction::AddNormalizedStackOperand(STARSOpndTypePtr, STARS_ea_t, STARSOpndTypePtr): Assertion `InverseInsertResult.second' failed.
Can be duplicated in docker easily: docker run -it -v $PWD:/io git.zephyr-software.com:4567/opensrc/zafl/zafl:latest /io/res20-openssh.gcc.O1.pie.nostrip.elf ./xxx
Or setup Zafl to duplicate: https://git.zephyr-software.com/opensrc/zafl