[all-commits] [llvm/llvm-project] 87c32b: [clang][dataflow] Include terminator statements in...

Stanislav Gatev via All-commits all-commits at lists.llvm.org
Fri Feb 11 03:20:16 PST 2022


  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 87c32be023d293e159e699bf46c821fe931cc223
      https://github.com/llvm/llvm-project/commit/87c32be023d293e159e699bf46c821fe931cc223
  Author: Stanislav Gatev <sgatev at google.com>
  Date:   2022-02-11 (Fri, 11 Feb 2022)

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

  Log Message:
  -----------
  [clang][dataflow] Include terminator statements in buildStmtToBasicBlockMap

This will be necessary later when we add support for evaluating logic
expressions such as && and ||.

This is part of the implementation of the dataflow analysis framework.
See "[RFC] A dataflow analysis framework for Clang AST" on cfe-dev.

Reviewed-by: xazax.hun

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




More information about the All-commits mailing list