Minor issue with redirection in the specialized binary (with configuration priming): curl

[mudbri]

When curl is specialized with configuration priming, it results in a working binary. However, when the the output of the binary is redirected to a file, a segmentation fault occurs. This fault does not occur when configuration priming is not turned on. Files to reproduce the issue can be found here. The issue can be reproduced in the following steps:

1. cd curl
2. make (This might require installing openssl-1.0.2 using bash install_dependencies.sh)
3. bash build.sh --enable-config-prime
4. ./curl_occamized_stripped https://www.sri.com > t_out

This will result in a segmentation fault. However, when "> t_out" is removed, we get the expected output. If the --enable-config-prime flag is not used, there are no issues with redirection. This can be confirmed by running the test: make test

[caballa]

The reason for the crash is explained in issue #54

[caballa]

Fixed in commit a348764

[mudbri]

I am still encountering a segmentation fault when I redirect the output of the specialized binary (e.g. ./curl_occamized_stripped https://www.sri.com > t_out)

[caballa]

I couldn't reproduce the error and Ashish either so I close again this issue.