diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/users_guide/7.12.1-notes.xml | 11 | ||||
| -rw-r--r-- | docs/users_guide/flags.xml | 9 |
2 files changed, 16 insertions, 4 deletions
diff --git a/docs/users_guide/7.12.1-notes.xml b/docs/users_guide/7.12.1-notes.xml index b2cb3699ee..3efdd19c8e 100644 --- a/docs/users_guide/7.12.1-notes.xml +++ b/docs/users_guide/7.12.1-notes.xml @@ -112,6 +112,17 @@ type errors. </para> </listitem> + <listitem> + <para> + Added the option <option>-fcpr-anal</option>. + + When enabled, the demand analyser performs CPR analysis. + It is implied by <option>-O</option>. Consequently, + <option>-fcpr-off</option> is now removed, run with + <option>-fno-cpr-anal</option> to get the old + <option>-fcpr-off</option> behaviour. + </para> + </listitem> </itemizedlist> </sect3> diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml index 39b48722c1..0683752ee6 100644 --- a/docs/users_guide/flags.xml +++ b/docs/users_guide/flags.xml @@ -1967,10 +1967,11 @@ </row> <row> - <entry><option>-fcpr-off</option></entry> - <entry>Switch off CPR analysis in the demand analyser.</entry> - <entry>static</entry> - <entry>-</entry> + <entry><option>-fcpr-anal</option></entry> + <entry>Turn on CPR analysis in the demand analyser. Implied by + <option>-O</option>.</entry> + <entry>dynamic</entry> + <entry><option>-fno-cpr-anal</option></entry> </row> <row> |