]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0c5b98b) | patch
diagnostics: use diagnostic_option_id for m_opt_permissive
authorDavid Malcolm <dmalcolm@redhat.com>
Mon, 28 Apr 2025 22:21:18 +0000 (18:21 -0400)
committerDavid Malcolm <dmalcolm@redhat.com>
Mon, 28 Apr 2025 22:21:18 +0000 (18:21 -0400)
commitbc39b0072f5660dd5dbacd551312be24281226ce
tree0a66a80c16c93a5d8e14bfede0b3d1de2087dc3etree
parent0c5b98be0806e275685a2803c49a695328f5dd8bcommit | diff
diagnostics: use diagnostic_option_id for m_opt_permissive

gcc/ChangeLog:
* diagnostic.h (diagnostic_context::m_opt_permissive): Convert
from int to diagnostic_option_id.  Update comment.

Signed-off-by: David Malcolm <dmalcolm@redhat.com>
gcc/diagnostic.h diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git