From f2c4cfadb13dd5eef1979069317e5c6ee224c908 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Fri, 23 Nov 2018 04:28:44 +0100
Subject: Add --max-stack-alloc option, check stack allocation of complex
 object.

Fix #692
---
 doc/using/Simulation.rst | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'doc/using')

diff --git a/doc/using/Simulation.rst b/doc/using/Simulation.rst
index 221e0a093..6b6ea6a1a 100644
--- a/doc/using/Simulation.rst
+++ b/doc/using/Simulation.rst
@@ -82,6 +82,11 @@ all options available, including the debugging one.
 
   Disable buffering on stdout, stderr and files opened in write or append mode (TEXTIO).
 
+.. option:: --max-stack-alloc<=N>
+
+  Emit an error message in case of allocation on the stack of an
+  object larger than `N` KB.
+
 .. option:: --sdf<=PATH=FILENAME>
 
   Do VITAL annotation on `PATH` with SDF file :file:`FILENAME`.
-- 
cgit v1.2.3