[all-commits] [llvm/llvm-project] 282534: [clang][dataflow] Handle `AtomicExpr` in `ResultOb...

martinboehme via All-commits all-commits at lists.llvm.org
Mon Jun 10 23:38:24 PDT 2024


  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 282534268e3be0949fcac1589b1004bc5672b434
      https://github.com/llvm/llvm-project/commit/282534268e3be0949fcac1589b1004bc5672b434
  Author: martinboehme <mboehme at google.com>
  Date:   2024-06-11 (Tue, 11 Jun 2024)

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

  Log Message:
  -----------
  [clang][dataflow] Handle `AtomicExpr` in `ResultObjectVisitor`. (#94963)

This is one of the node kinds that should be considered an "original
initializer". The patch adds a test that was causing an assertion
failure in
`assert(Children.size() == 1)` without the fix.



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications


More information about the All-commits mailing list