[all-commits] [llvm/llvm-project] cf4a67: Don't diagnostic atomic object access as UB in an ...

Aaron Ballman via All-commits all-commits at lists.llvm.org
Wed Mar 30 04:13:16 PDT 2022


  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: cf4a67bcbbb109347b1e2d6cedf69bae142a182f
      https://github.com/llvm/llvm-project/commit/cf4a67bcbbb109347b1e2d6cedf69bae142a182f
  Author: Aaron Ballman <aaron at aaronballman.com>
  Date:   2022-03-30 (Wed, 30 Mar 2022)

  Changed paths:
    M clang/lib/Sema/SemaExprMember.cpp
    M clang/test/Sema/atomic-expr.c

  Log Message:
  -----------
  Don't diagnostic atomic object access as UB in an unevaluated context

We started diagnosing this situation with a more clear diagnostic
message, but it was pointed out that unevaluated contexts don't really
have the undefined behavior property as there is no runtime access
involved.

This augments the changes in https://reviews.llvm.org/D122656 to not
diagnose in an unevaluated context.




More information about the All-commits mailing list