ret
Extensions for Static Analysis
-===================================
+==============================
Clang supports additional attributes that are useful for documenting program
invariants and rules for static analysis tools, such as the `Clang Static
Extensions for Dynamic Analysis
-====================================
+===============================
.. _langext-address_sanitizer:
----------------
Use ``__has_feature(address_sanitizer)`` to check if the code is being built
-with `AddressSanitizer <AddressSanitizer.html>`_.
+with :doc:`AddressSanitizer`.
Use ``__attribute__((no_address_safety_analysis))`` on a function declaration
to specify that address safety instrumentation (e.g. AddressSanitizer) should