diff options
| author | Martin Liska <mliska@suse.cz> | 2017-04-10 09:29:29 +0200 |
|---|---|---|
| committer | Martin Liska <marxin@gcc.gnu.org> | 2017-04-10 07:29:29 +0000 |
| commit | 3ee0fb02bb5164817f9ec9e40f9eccde78b6e10b (patch) | |
| tree | 31af896cdb1e309a27a9f50375a1da7ebc7ee096 /gcc/c-family/c-ubsan.c | |
| parent | 167a5b77978fd30959290d5649d96534ae8db9a3 (diff) | |
| download | gcc-3ee0fb02bb5164817f9ec9e40f9eccde78b6e10b.zip gcc-3ee0fb02bb5164817f9ec9e40f9eccde78b6e10b.tar.gz gcc-3ee0fb02bb5164817f9ec9e40f9eccde78b6e10b.tar.bz2 | |
Evaluate a SAVE_EXPR before an UBSAN check (PR sanitizer/80350).
2017-04-10 Martin Liska <mliska@suse.cz>
PR sanitizer/80350
* c-ubsan.c (ubsan_instrument_shift): Evaluate RHS before
doing an UBSAN check.
2017-04-10 Martin Liska <mliska@suse.cz>
PR sanitizer/80350
* c-c++-common/ubsan/pr80350.c: New test.
From-SVN: r246799
Diffstat (limited to 'gcc/c-family/c-ubsan.c')
| -rw-r--r-- | gcc/c-family/c-ubsan.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gcc/c-family/c-ubsan.c b/gcc/c-family/c-ubsan.c index 91bdef8..e48841a 100644 --- a/gcc/c-family/c-ubsan.c +++ b/gcc/c-family/c-ubsan.c @@ -172,6 +172,7 @@ ubsan_instrument_shift (location_t loc, enum tree_code code, /* In case we have a SAVE_EXPR in a conditional context, we need to make sure it gets evaluated before the condition. */ t = fold_build2 (COMPOUND_EXPR, TREE_TYPE (t), unshare_expr (op0), t); + t = fold_build2 (COMPOUND_EXPR, TREE_TYPE (t), unshare_expr (op1), t); enum sanitize_code recover_kind = SANITIZE_SHIFT_EXPONENT; tree else_t = void_node; |