[all-commits] [llvm/llvm-project] 0dd878: Add a flag to control whether to propagate labels ...

[Z via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 0dd87825db2e73c2fb538f710217673ac15b7255
      https://github.com/llvm/llvm-project/commit/0dd87825db2e73c2fb538f710217673ac15b7255
  Author: Jianzhou Zhao <jianzhouzh at google.com>
  Date:   2020-11-11 (Wed, 11 Nov 2020)

  Changed paths:
    M llvm/lib/Transforms/Instrumentation/DataFlowSanitizer.cpp
    A llvm/test/Instrumentation/DataFlowSanitizer/select.ll

  Log Message:
  -----------
  Add a flag to control whether to propagate labels from condition values to results

Before the change, DFSan always does the propagation. W/o
origin tracking, it is harder to understand such flows. After
the change, the flag is off by default.

Reviewed-by: morehouse
Differential Revision: https://reviews.llvm.org/D91234