From 3f64f8aaff52d4a23eea72060ca59f7782577c77 Mon Sep 17 00:00:00 2001
From: Patrick Baudin <patrick.baudin@cea.fr>
Date: Thu, 7 Mar 2019 10:44:06 +0100
Subject: [PATCH] [rte/doc] add a reference to -warn-invalid-bool
---
doc/rte/rte.tex | 3 +++
1 file changed, 3 insertions(+)
diff --git a/doc/rte/rte.tex b/doc/rte/rte.tex
index bea711914f6..0a2b6b4f4ff 100644
--- a/doc/rte/rte.tex
+++ b/doc/rte/rte.tex
@@ -848,6 +848,9 @@ signed overflows \\
\lstinline|-warn-signed-downcast| & boolean (false) & Generate annotations for
signed integer downcast \\
\hline
+\lstinline|-warn-invalid-bool| & boolean (true) & Generate annotations for
+\lstinline|_Bool| trap representations \\
+\hline
\end{tabular}
\caption{\framac kernel options, impacting \rte{}} \label{kernel}
\end{center}
--
GitLab