From e69a8c42135606e60446d5e78144357a9e429c77 Mon Sep 17 00:00:00 2001 From: Jianzhou Zhao Date: Tue, 27 Jul 2021 00:29:36 +0000 Subject: [PATCH] [dfsan] Fix doc build errors --- clang/docs/DataFlowSanitizer.rst | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/clang/docs/DataFlowSanitizer.rst b/clang/docs/DataFlowSanitizer.rst index dbe62e3b6aa00c..c21f9a9226036f 100644 --- a/clang/docs/DataFlowSanitizer.rst +++ b/clang/docs/DataFlowSanitizer.rst @@ -147,6 +147,7 @@ Compilation Flags For example: .. code-block:: c++ + v = *p; If the flag is true, the label of ``v`` is the union of the label of ``p`` and @@ -157,6 +158,7 @@ just ``*p``. false. For example: .. code-block:: c++ + *p = v; If the flag is true, the label of ``*p`` is the union of the label of ``p`` and @@ -166,6 +168,7 @@ just ``v``. labels of offsets in GEP instructions. Its default value is true. For example: .. code-block:: c++ + p += i; If the flag is true, the label of ``p`` is the union of the label of ``p`` and @@ -174,6 +177,7 @@ the label of ``i``. If the flag is false, the label of ``p`` is unchanged. flow of select instructions. Its default value is true. For example: .. code-block:: c++ + v = b? v1: v2; If the flag is true, the label of ``v`` is the union of the labels of ``b``, @@ -186,6 +190,7 @@ is false. If this flag is set to true, a user must provide definitions for the following callback functions: .. code-block:: c++ + void __dfsan_load_callback(dfsan_label Label, void* Addr); void __dfsan_store_callback(dfsan_label Label, void* Addr); void __dfsan_mem_transfer_callback(dfsan_label *Start, size_t Len);