# Copyright 2019 Damian Jarek
# Distributed under the Boost Software License, Version 1.0.
# (See accompanying file LICENSE_1_0.txt or copy at
# http://www.boost.org/LICENSE_1_0.txt)

import feature ;

#| tag::addr-doc[]

[[bbv2.builtin.features.address-sanitizer]]`address-sanitizer`::
*Allowed values:* `on`, `norecover`.
+
Enables address sanitizer. Value `norecover` disables recovery for the
sanitizer. The feature is optional, thus no sanitizer is enabled by default.

|# # end::addr-doc[]

feature.feature address-sanitizer
    : on norecover
    : propagated optional ;

#| tag::leak-doc[]

[[bbv2.builtin.features.leak-sanitizer]]`leak-sanitizer`::
*Allowed values:* `on`, `norecover`.
+
Enables leak sanitizer. Value `norecover` disables recovery for the
sanitizer. The feature is optional, thus no sanitizer is enabled by default.

|# # end::leak-doc[]

feature.feature leak-sanitizer
    : on norecover
    : propagated optional ;

#| tag::thread-doc[]

[[bbv2.builtin.features.thread-sanitizer]]`thread-sanitizer`::
*Allowed values:* `on`, `norecover`.
+
Enables thread sanitizer. Value `norecover` disables recovery for the
sanitizer. The feature is optional, thus no sanitizer is enabled by default.

|# # end::thread-doc[]

feature.feature thread-sanitizer
    : on norecover
    : propagated optional ;

#| tag::undef-doc[]

[[bbv2.builtin.features.undefined-sanitizer]]`undefined-sanitizer`::
*Allowed values:* `on`, `norecover`.
+
Enables undefined behavior sanitizer. Value `norecover` disables recovery for
the sanitizer. The feature is optional, thus no sanitizer is enabled by
default.

|# # end::undef-doc[]

feature.feature undefined-sanitizer
    : on norecover
    : propagated optional ;
