https://gcc.gnu.org/g:bfeb09e591b2ae629277d4ec6578c24998c77c3b
commit r16-7492-gbfeb09e591b2ae629277d4ec6578c24998c77c3b Author: Andrew Pinski <[email protected]> Date: Thu Feb 12 09:07:10 2026 -0800 c: Handle REALPART_EXPR and IMAGPART_EXPR in fold_offsetof [PR105555] In some cases the C front-end calls into fold_offsetof to fold an address but that does not handle REALPART_EXPR nor IMAGPART_EXPR so gcc produces an internal compiler error. For offsetof, REALPART_EXPR/IMAGPART_EXPR won't show up which is why they were not there before. Bootstrapped and tested on x86_64-linux-gnu. PR c/105555 gcc/c-family/ChangeLog: * c-common.cc (fold_offsetof): Handle REALPART_EXPR and IMAGPART_EXPR. gcc/testsuite/ChangeLog: * gcc.dg/complex-10.c: New test. Signed-off-by: Andrew Pinski <[email protected]> Diff: --- gcc/c-family/c-common.cc | 10 ++++++++++ gcc/testsuite/gcc.dg/complex-10.c | 16 ++++++++++++++++ 2 files changed, 26 insertions(+) diff --git a/gcc/c-family/c-common.cc b/gcc/c-family/c-common.cc index 22d51162d9bb..5acb221d31f3 100644 --- a/gcc/c-family/c-common.cc +++ b/gcc/c-family/c-common.cc @@ -7232,6 +7232,16 @@ fold_offsetof (tree expr, tree type, enum tree_code ctx) case ERROR_MARK: return expr; + case REALPART_EXPR: + return fold_offsetof (TREE_OPERAND (expr, 0), type, code); + + case IMAGPART_EXPR: + base = fold_offsetof (TREE_OPERAND (expr, 0), type, code); + if (base == error_mark_node) + return base; + off = TYPE_SIZE_UNIT (TREE_TYPE (TREE_TYPE (TREE_OPERAND (expr, 0)))); + break; + case VAR_DECL: error ("cannot apply %<offsetof%> to static data member %qD", expr); return error_mark_node; diff --git a/gcc/testsuite/gcc.dg/complex-10.c b/gcc/testsuite/gcc.dg/complex-10.c new file mode 100644 index 000000000000..b27f91f7afb3 --- /dev/null +++ b/gcc/testsuite/gcc.dg/complex-10.c @@ -0,0 +1,16 @@ +/* { dg-do compile } */ +/* { dg-options "" } */ + +/* PR c/105555 */ + +struct C { + __complex int i; +}; +struct C p[10]; +int *foo1(void) { + return &__real(p->i); +} + +int *foo2(void) { + return &__imag(p->i); +}
