stars assertion in zax
zafl.sh ./sks ./xxx -D -G -M
Yields failure in Zax step with assertion in STARS/IRDB:
INFO: Return targets were not computed for func at 1600
zax.exe: SMPStaticAnalyzer/src/base/SMPFunction.cpp:16157: void SMPFunction::MarkSpecialNumericErrorCases(): Assertion `(0 <= TargetBlockNum) && (TargetBlockNum < (int) this->RPOBlocks.size())' failed.
/home/jdh8d/umbrellas/zafl_umbrella/install/zipr_umbrella/tools/ps_analyze.sh: line 725: 26016 Aborted (core dumped) /home/jdh8d/umbrellas/zafl_umbrella/install/zafl_plugins/zax.exe 2 --stars -D -G -M --enable-floating-instrumentation -e 0x51e172
sks program is attached.
Note: charge up to 1.5 hours to AIS. Note: Found while debugging Zith: @an7s