https://gcc.gnu.org/bugzilla/show_bug.cgi?id=123703

--- Comment #4 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Jakub Jelinek <[email protected]>:

https://gcc.gnu.org/g:0ba37a153fc86ca1ea9a243d6ea8c60e8de70e08

commit r16-6991-g0ba37a153fc86ca1ea9a243d6ea8c60e8de70e08
Author: Jakub Jelinek <[email protected]>
Date:   Fri Jan 23 10:37:46 2026 +0100

    builtins: Only fold abs/absu if it is sane [PR123703]

    To my surprise the C FE marks as builtin even a declaration which has
incorrect
    return type.  Normally gimple_builtin_call_types_compatible_p etc. will
    just punt in cases where the return type is wrong, but builtins.cc doesn't
    use that.  For e.g. the mathfn builtins like sqrt and many others, it will
    punt on weird return types, but for fold_builtin_abs it doesn't and happily
    tests TYPE_UNSIGNED on it and fold_convert the integral operand to it etc.,
    which ICEs if the return type is aggregate.

    The following patch fixes it by punting if type is not integral.

    2026-01-23  Jakub Jelinek  <[email protected]>

            PR middle-end/123703
            * builtins.cc (fold_builtin_abs): Return NULL_TREE if type is not
            integral.

            * gcc.c-torture/compile/pr123703.c: New test.

Reply via email to