From e686093450ac772cb0e1fc0ca121975a2a887ab1 Mon Sep 17 00:00:00 2001 From: Roman Leshchinskiy Date: Thu, 29 Oct 2009 14:16:51 +0000 Subject: [PATCH] Document -fstrictness-before --- docs/users_guide/flags.xml | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml index 5eb6025..75d240c 100644 --- a/docs/users_guide/flags.xml +++ b/docs/users_guide/flags.xml @@ -1407,6 +1407,14 @@ -fno-strictness + + =n + Run an additional strictness analysis before simplifier +phase n + dynamic + - + + Turn on the SpecConstr transformation. Implied by . -- 1.7.10.4