[all-commits] [llvm/llvm-project] d8a281: [clang] implement current direction of CWG2765 for...

[Richard Smith via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: d8a281590311010955c323806fb24fa484376f4d
      https://github.com/llvm/llvm-project/commit/d8a281590311010955c323806fb24fa484376f4d
  Author: Richard Smith <richard at metafoo.co.uk>
  Date:   2024-09-26 (Thu, 26 Sep 2024)

  Changed paths:
    M clang/docs/ReleaseNotes.rst
    M clang/include/clang/AST/ASTContext.h
    M clang/include/clang/Basic/DiagnosticASTKinds.td
    M clang/lib/AST/ExprConstant.cpp
    M clang/test/AST/ByteCode/builtin-functions.cpp
    M clang/test/AST/ByteCode/cxx20.cpp
    A clang/test/Modules/string-literal-uniqueness.cpp
    M clang/test/SemaCXX/builtins.cpp
    M clang/test/SemaCXX/constant-expression-cxx11.cpp
    M clang/test/SemaCXX/constant-expression-cxx14.cpp
    A clang/test/SemaCXX/ptrauth-sign-constant.cpp

  Log Message:
  -----------
  [clang] implement current direction of CWG2765 for string literal comparisons in constant evaluation (#109208)

Track the identity of each string literal object produced by evaluation
with a global version number. Accept comparisons between literals of the
same version, and between literals of different versions that cannot
possibly be placed in overlapping storage. Treat the remaining
comparisons as non-constant.

---------

Co-authored-by: Timm Baeder <tbaeder at redhat.com>
Co-authored-by: Aaron Ballman <aaron at aaronballman.com>



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