diff options
Diffstat (limited to 'docs/AttributeReference.rst')
| -rw-r--r-- | docs/AttributeReference.rst | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/AttributeReference.rst b/docs/AttributeReference.rst index d7a3f74f83fb..db4812afdaa0 100644 --- a/docs/AttributeReference.rst +++ b/docs/AttributeReference.rst @@ -456,6 +456,7 @@ warnings or errors at compile-time if calls to the attributed function meet certain user-defined criteria. For example: .. code-block:: c + void abs(int a) __attribute__((diagnose_if(a >= 0, "Redundant abs call", "warning"))); void must_abs(int a) |