[all-commits] [llvm/llvm-project] 791b0f: [clang][dataflow] Change PruneTriviallyFalseEdges ...

[Kinuko Yasuda via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 791b0fd02668fd0fcf07788d4e16bb468434f4bf
      https://github.com/llvm/llvm-project/commit/791b0fd02668fd0fcf07788d4e16bb468434f4bf
  Author: Kinuko Yasuda <kinuko at google.com>
  Date:   2023-05-03 (Wed, 03 May 2023)

  Changed paths:
    M clang/lib/Analysis/FlowSensitive/ControlFlowContext.cpp
    M clang/unittests/Analysis/FlowSensitive/TransferTest.cpp

  Log Message:
  -----------
  [clang][dataflow] Change PruneTriviallyFalseEdges for building CFG

Keeping this false could end up with extra iterations on a lot of loops
that aren't real ones (e.g. they could be a do-while-false for macros),
and makes the analyses very slow.

This patch changes the default for
CFG::BuildOptions.PruneTriviallyFalseEdges to true to avoid it.

Reviewed By: ymandel, xazax.hun, gribozavr2

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