- <varlistentry>
- <term>
- <option>-dusagesp-lint</option>:
- <indexterm><primary><option>-dstg-lint</option></primary></indexterm>
- </term>
- <listitem>
- <para>Turn on checks around UsageSP inference
- (<option>-fusagesp</option>). This verifies various simple
- properties of the results of the inference, and also warns
- if any identifier with a used-once annotation before the
- inference has a used-many annotation afterwards; this could
- indicate a non-worksafe transformation is being
- applied.</para>
- </listitem>
- </varlistentry>