diff options
| author | Eric Botcazou <ebotcazou@gcc.gnu.org> | 2020-07-09 00:13:50 +0200 |
|---|---|---|
| committer | Eric Botcazou <ebotcazou@gcc.gnu.org> | 2020-07-09 00:59:59 +0200 |
| commit | b541b871135cb8f261d079006c79698a82e3594d (patch) | |
| tree | ea67db21fcba13c246749cf5e8eed64e59f77442 /gcc/c-family | |
| parent | a8b522311beef5e02de15427e924752ea02def2a (diff) | |
| download | gcc-b541b871135cb8f261d079006c79698a82e3594d.zip gcc-b541b871135cb8f261d079006c79698a82e3594d.tar.gz gcc-b541b871135cb8f261d079006c79698a82e3594d.tar.bz2 | |
Make memory copy functions scalar storage order barriers
This addresses the issue raised about the usage of memory copy functions
to toggle the scalar storage order. Recall that you cannot (the compiler
errors out) take the address of a scalar which is stored in reverse order,
but you can do it for the enclosing aggregate type., which means that you
can also pass it to the memory copy functions. In this case, the optimizer
may rewrite the copy into a scalar copy, which is a no-no.
gcc/c-family/ChangeLog:
* c.opt (Wscalar-storage-order): Add explicit variable.
gcc/c/ChangeLog:
* c-typeck.c (convert_for_assignment): If -Wscalar-storage-order is
set, warn for conversion between pointers that point to incompatible
scalar storage orders.
gcc/ChangeLog:
* gimple-fold.c (gimple_fold_builtin_memory_op): Do not fold if
either type has reverse scalar storage order.
* tree-ssa-sccvn.c (vn_reference_lookup_3): Do not propagate through
a memory copy if either type has reverse scalar storage order.
gcc/testsuite/ChangeLog:
* gcc.dg/sso-11.c: New test.
* gcc.dg/sso/sso.exp: Pass -Wno-scalar-storage-order.
* gcc.dg/sso/memcpy-1.c: New test.
Diffstat (limited to 'gcc/c-family')
| -rw-r--r-- | gcc/c-family/c.opt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/c-family/c.opt b/gcc/c-family/c.opt index 89a5828..21df0c1 100644 --- a/gcc/c-family/c.opt +++ b/gcc/c-family/c.opt @@ -1072,7 +1072,7 @@ C ObjC C++ ObjC++ Var(warn_return_type) Warning LangEnabledBy(C ObjC C++ ObjC++, Warn whenever a function's return type defaults to \"int\" (C), or about inconsistent return types (C++). Wscalar-storage-order -C ObjC C++ ObjC++ Init(1) Warning +C ObjC C++ ObjC++ Var(warn_scalar_storage_order) Init(1) Warning Warn on suspicious constructs involving reverse scalar storage order. Wselector |