diff options
Diffstat (limited to 'deheader.xml')
| -rw-r--r-- | deheader.xml | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/deheader.xml b/deheader.xml index d765e4e..ea6044b 100644 --- a/deheader.xml +++ b/deheader.xml @@ -47,7 +47,10 @@ name of the current directory had been passed to it.</para> <para>Inclusions within the scope of #if/#ifdef/#else/#endif directives are left alone, because trying to reason about potential combinations of -D and U options would be too complicated and prone to -weird errors.</para> +weird errors. One exception: headers protected only by S_SPLINT_S, the +conditional for blocking scanning by the static analysis tool +<citerefentry><refentrytitle>splint</refentrytitle><manvolnum>1</manvolnum></citerefentry>, +are scanned normally.</para> <para>The tool will also emit warnings about duplicate inclusions, and inclusions required for portability but not present.</para> |