[Bug debug/111080] [11/12/13/14 Regression] restrict qualifier causes extra debug info to happen

[cvs-commit at gcc dot gnu.org]

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

--- Comment #5 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-13 branch has been updated by Richard Biener
<rguenth@gcc.gnu.org>:

https://gcc.gnu.org/g:fb6d61299159275246052c72c6e3666b36d5b333

commit r13-7750-gfb6d61299159275246052c72c6e3666b36d5b333
Author: Richard Biener <rguenther@suse.de>
Date:   Mon Aug 21 10:34:30 2023 +0200

    debug/111080 - avoid outputting debug info for unused restrict qualified
type

    The following applies some maintainance with respect to type qualifiers
    and kinds added by later DWARF standards to prune_unused_types_walk.
    The particular case in the bug is not handling (thus marking required)
    all restrict qualified type DIEs.  I've found more DW_TAG_*_type that
    are unhandled, looked up the DWARF docs and added them as well based
    on common sense.

            PR debug/111080
            * dwarf2out.cc (prune_unused_types_walk): Handle
            DW_TAG_restrict_type, DW_TAG_shared_type, DW_TAG_atomic_type,
            DW_TAG_immutable_type, DW_TAG_coarray_type, DW_TAG_unspecified_type
            and DW_TAG_dynamic_type as to only output them when referenced.

            * gcc.dg/debug/dwarf2/pr111080.c: New testcase.

    (cherry picked from commit bd2c4d6d8fffd5a6dae5217d6076cc4190bab13d)