kmc7468/cs420
1
0
Fork 0
mirror of https://github.com/kmc7468/cs420.git synced 2025-12-15 23:18:48 +00:00
Code Issues Packages Projects Releases Wiki Activity

Add -fsanitize=float-divide-by-zero option

Browse Source
This commit is contained in:
Minseong Jang
2022-04-01 02:31:12 +09:00
parent 5264066a3c
commit 2e11197a58
1 changed files with 2 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/tests.rs
View File

@@ -126,6 +126,7 @@ pub fn test_irgen(path: &Path) {
// Compile c file: If fails, test is vacuously success // Compile c file: If fails, test is vacuously success
if !Command::new("clang") if !Command::new("clang")
.args(&[ .args(&[
"-fsanitize=float-divide-by-zero",
"-fsanitize=undefined", "-fsanitize=undefined",
"-fno-sanitize-recover=all", "-fno-sanitize-recover=all",
&file_path, &file_path,
@@ -393,6 +394,7 @@ pub fn test_end_to_end(path: &Path) {
// Compile c file: If fails, test is vacuously success // Compile c file: If fails, test is vacuously success
if !Command::new("clang") if !Command::new("clang")
.args(&[ .args(&[
"-fsanitize=float-divide-by-zero",
"-fsanitize=undefined", "-fsanitize=undefined",
"-fno-sanitize-recover=all", "-fno-sanitize-recover=all",
&file_path, &file_path,