[Bug testsuite/116163] RFE: add a linting tool for DejaGnu tests

[dmalcolm at gcc dot gnu.org via Gcc-bugs]

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

David Malcolm <dmalcolm at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Assignee|unassigned at gcc dot gnu.org      |dmalcolm at gcc dot 
gnu.org
                URL|                            |https://gcc.gnu.org/piperma
                   |                            |il/gcc-patches/2025-March/6
                   |                            |79366.html
             Status|NEW                         |WAITING
           Keywords|                            |patch

--- Comment #17 from David Malcolm <dmalcolm at gcc dot gnu.org> ---
Patch posted:
  [PATCH 00/12] Implement a new dg-lint tool and use on our testsuite
     https://gcc.gnu.org/pipermail/gcc-patches/2025-March/679361.html
where the linting tool itself is:
  https://gcc.gnu.org/pipermail/gcc-patches/2025-March/679366.html