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>

diff --git a/gcc/diagnostic.h b/gcc/diagnostic.h
index c679017d28505c957e073363a144de92a2768d11..36f4a1c8f9f3f188a7a0f66658d832bfe7b57c76 100644 (file)
--- a/gcc/diagnostic.h
+++ b/gcc/diagnostic.h
@@ -848,9 +848,9 @@ public:
   /* True if permerrors are warnings.  */
   bool m_permissive;
 
-  /* The index of the option to associate with turning permerrors into
-     warnings.  */
-  int m_opt_permissive;
+  /* The option to associate with turning permerrors into warnings,
+     if any.  */
+  diagnostic_option_id m_opt_permissive;
 
   /* True if errors are fatal.  */
   bool m_fatal_errors;