[all-commits] [llvm/llvm-project] 574821: [DFSan] Add dfsan-combine-taint-lookup-table optio...

[Andrew Browne via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 5748219fd2ce57f81e7a8880302bab69744fb004
      https://github.com/llvm/llvm-project/commit/5748219fd2ce57f81e7a8880302bab69744fb004
  Author: Andrew Browne <browneee at google.com>
  Date:   2022-04-05 (Tue, 05 Apr 2022)

  Changed paths:
    A compiler-rt/test/dfsan/lookup_table.c
    M llvm/lib/Transforms/Instrumentation/DataFlowSanitizer.cpp
    A llvm/test/Instrumentation/DataFlowSanitizer/lookup_table.ll

  Log Message:
  -----------
  [DFSan] Add dfsan-combine-taint-lookup-table option as work around for
false negatives when dfsan-combine-pointer-labels-on-load=0 and
dfsan-combine-offset-labels-on-gep=0 miss data flows through lookup tables.

Example case:
https://github.com/abseil/abseil-cpp/blob/628a2825f8dc0219964886e7cc3f7f519e3bd950/absl/strings/ascii.h#L182

Reviewed By: vitalybuka

Differential Revision: https://reviews.llvm.org/D122787