From bebf6337c9d99a29cdb864e42c9273f7f4822d33 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Thu, 2 Apr 2020 16:53:29 +0200
Subject: [PATCH] [rte] Documents new option -warn-invalid-pointer and
-warn-pointer-downcast.
---
doc/rte/rte.tex | 6 ++++++
1 file changed, 6 insertions(+)
diff --git a/doc/rte/rte.tex b/doc/rte/rte.tex
index 260b1e10663..8db61fe2d61 100644
--- a/doc/rte/rte.tex
+++ b/doc/rte/rte.tex
@@ -805,6 +805,9 @@ signed overflows \\
\lstinline|-warn-signed-downcast| & boolean (false) & Generate annotations for
signed integer downcast \\
\hline
+\lstinline|-warn-pointer-downcast| & boolean (true) & Generate annotations for
+downcast of pointer values \\
+\hline
\lstinline|-warn-left-shift-negative| & boolean (true) & Generate annotations for
left shift on negative values \\
\hline
@@ -817,6 +820,9 @@ right shift on negative values \\
\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
+\lstinline|-warn-invalid-pointer| & boolean (false) & Generate annotations for
+invalid pointer arithmetic \\
+\hline
\end{tabular}
\caption{\framac kernel options, impacting \rte{}} \label{kernel}
\end{center}
--
GitLab