mirror of
https://github.com/llvm/llvm-project.git
synced 2025-04-27 16:36:06 +00:00
789a46f2d7
Summary: Clang -fpic defaults to -fno-semantic-interposition (GCC -fpic defaults to -fsemantic-interposition). Users need to specify -fsemantic-interposition to get semantic interposition behavior. Semantic interposition is currently a best-effort feature. There may still be some cases where it is not handled well. Reviewers: peter.smith, rnk, serge-sans-paille, sfertile, jfb, jdoerfert Subscribers: dschuff, jyknight, dylanmckay, nemanjai, jvesely, kbarton, fedor.sergeev, asb, rbar, johnrusso, simoncook, sabuasal, niosHD, jrtc27, zzheng, edward-jones, atanasyan, rogfer01, MartinMosbeck, brucehoult, the_o, arphaman, PkmX, jocewei, jsji, Jim, lenary, s.egerton, pzheng, sameer.abuasal, apazos, luismarques, cfe-commits Tags: #clang Differential Revision: https://reviews.llvm.org/D73865
42 lines
1.3 KiB
C++
42 lines
1.3 KiB
C++
// RUN: %clang_cc1 -std=c++1z -Werror -triple i386-unknown-unknown -emit-llvm -O1 -disable-llvm-passes -o - %s | FileCheck %s
|
|
|
|
// std::byte should be considered equivalent to char for aliasing.
|
|
|
|
namespace std {
|
|
enum byte : unsigned char {};
|
|
}
|
|
|
|
// CHECK-LABEL: define dso_local void @test0(
|
|
extern "C" void test0(std::byte *sb, int *i) {
|
|
// CHECK: store i8 0, i8* %{{.*}} !tbaa [[TAG_CHAR:!.*]]
|
|
*sb = std::byte{0};
|
|
|
|
// CHECK: store i32 1, i32* %{{.*}} !tbaa [[TAG_INT:!.*]]
|
|
*i = 1;
|
|
}
|
|
|
|
enum byte : unsigned char {};
|
|
namespace my {
|
|
enum byte : unsigned char {};
|
|
namespace std {
|
|
enum byte : unsigned char {};
|
|
} // namespace std
|
|
} // namespace my
|
|
|
|
// Make sure we don't get confused with other enums named 'byte'.
|
|
|
|
// CHECK-LABEL: define dso_local void @test1(
|
|
extern "C" void test1(::byte *b, ::my::byte *mb, ::my::std::byte *msb) {
|
|
*b = ::byte{0};
|
|
*mb = ::my::byte{0};
|
|
*msb = ::my::std::byte{0};
|
|
// CHECK-NOT: store i8 0, i8* %{{.*}} !tbaa [[TAG_CHAR]]
|
|
}
|
|
|
|
// CHECK: !"any pointer", [[TYPE_CHAR:!.*]],
|
|
// CHECK: [[TYPE_CHAR]] = !{!"omnipotent char", [[TAG_CXX_TBAA:!.*]],
|
|
// CHECK: [[TAG_CXX_TBAA]] = !{!"Simple C++ TBAA"}
|
|
// CHECK: [[TAG_CHAR]] = !{[[TYPE_CHAR:!.*]], [[TYPE_CHAR]], i64 0}
|
|
// CHECK: [[TAG_INT]] = !{[[TYPE_INT:!.*]], [[TYPE_INT]], i64 0}
|
|
// CHECK: [[TYPE_INT]] = !{!"int", [[TYPE_CHAR]]
|