[all-commits] [llvm/llvm-project] ba1d21: [C2y] Claim conformance to WG14 N3254 (#97581)

[Aaron Ballman via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: ba1d21c7d8613c90e424fa3e77d52184d531c302
      https://github.com/llvm/llvm-project/commit/ba1d21c7d8613c90e424fa3e77d52184d531c302
  Author: Aaron Ballman <aaron at aaronballman.com>
  Date:   2024-07-08 (Mon, 08 Jul 2024)

  Changed paths:
    A clang/test/C/C2y/n3254.c
    M clang/www/c_status.html

  Log Message:
  -----------
  [C2y] Claim conformance to WG14 N3254 (#97581)

The test coverage for this has to lean on LLVM's test coverage for the
actual TBAA behavior, but this demonstrates that Clang emits reasonable
LLVM IR to support this construct. It would be surprising should LLVM
break this pattern given how ubiquitous the pattern is in the wild.

The paper can be found at:
https://www.open-std.org/jtc1/sc22/wg14/www/docs/n3254.pdf



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