Author: Jianzhou Zhao Date: 2021-07-27T00:29:55Z New Revision: e69a8c42135606e60446d5e78144357a9e429c77
URL: https://github.com/llvm/llvm-project/commit/e69a8c42135606e60446d5e78144357a9e429c77 DIFF: https://github.com/llvm/llvm-project/commit/e69a8c42135606e60446d5e78144357a9e429c77.diff LOG: [dfsan] Fix doc build errors Added: Modified: clang/docs/DataFlowSanitizer.rst Removed: ################################################################################ diff --git a/clang/docs/DataFlowSanitizer.rst b/clang/docs/DataFlowSanitizer.rst index dbe62e3b6aa0..c21f9a922603 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); _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
