From 00c703718db1cf80cc0b8f5b2e1b47e2b946ccea Mon Sep 17 00:00:00 2001
From: Patrick Baudin <patrick.baudin@cea.fr>
Date: Thu, 7 Mar 2019 12:44:52 +0100
Subject: [PATCH] [rte/doc] adds missing reference to some -warn-xxx options of
the kernel
---
doc/rte/rte.tex | 9 +++++++++
1 file changed, 9 insertions(+)
diff --git a/doc/rte/rte.tex b/doc/rte/rte.tex
index 0a2b6b4f4ff..da0de6d2b5c 100644
--- a/doc/rte/rte.tex
+++ b/doc/rte/rte.tex
@@ -848,9 +848,18 @@ signed overflows \\
\lstinline|-warn-signed-downcast| & boolean (false) & Generate annotations for
signed integer downcast \\
\hline
+\lstinline|-warn-left-shift-negative| & boolean (true) & Generate annotations for
+left shift on negative values \\
+\hline
+\lstinline|-warn-right-shift-negative| & boolean (false) & Generate annotations for
+right shift on negative values \\
+\hline
\lstinline|-warn-invalid-bool| & boolean (true) & Generate annotations for
\lstinline|_Bool| trap representations \\
\hline
+\lstinline|-warn-special-float| & string: \lstinline|non-finite|, (\lstinline|nan|) or \lstinline|none| & generate annotations when
+special floats are produced: infinite floats or NaN (by default), only on NaN or never. \\
+\hline
\end{tabular}
\caption{\framac kernel options, impacting \rte{}} \label{kernel}
\end{center}
--
GitLab