Specialized binary results in a runtime segmentation fault with configuration priming: netperf #50
Labels
bug
Generic bug
limitation
Current limitations of OCCAM
occamized-binary-exec-crash
The specialized binary generated by OCCAM crashes
The specialized binary of netperf, when specialized with configuration priming, outputs a segmentation fault when run. The files required to reproduce the problem can be found here. The issue can be reproduced in the following way:
The test compares the output of the specialized binary with the correct output. The test fails when the --enable-config-prime flag is provided. However, the test passes when the flag is not provided (i.e. bash build.sh). To see the segmentation fault, run ./netperf_slashed_stripped (after running bash build.sh --enable-config-prime).
The text was updated successfully, but these errors were encountered: