Skip to content

Commit

Permalink
Merge pull request #1123 from google/segfault-detection
Browse files Browse the repository at this point in the history
Detect segfaults in reduction
  • Loading branch information
adetaylor authored Jun 23, 2022
2 parents e147efc + d8a9a8c commit 92f48fa
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion tools/reduce/src/main.rs
Original file line number Diff line number Diff line change
Expand Up @@ -482,7 +482,7 @@ fn create_interestingness_test(
mv concat.h concat-body.h
echo Codegen
(echo \"#ifndef __CONCAT_H__\"; echo \"#define __CONCAT_H__\"; echo '#include \"concat-body.h\"'; echo \"#endif\") > concat.h
({} {} 2>&1 && cat autocxx-ffi-default-gen.rs && cat autocxxgen*.h && {} 2>&1 ) {}
(trap \"if [[ \\$? -eq 139 ]]; then echo Segfault; fi\" CHLD; {} {} 2>&1 && cat autocxx-ffi-default-gen.rs && cat autocxxgen*.h && {} 2>&1 ) {}
echo Remove
rm concat.h
echo Swap back
Expand Down

0 comments on commit 92f48fa

Please sign in to comment.