mirror of
https://github.com/Gericom/teak-llvm.git
synced 2025-06-19 11:35:51 -04:00
e37633713d
This is a recommit of r290149, which was reverted in r290169 due to msan failures. msan was failing because we were calling `isMostDerivedAnUnsizedArray` on an invalid designator, which caused us to read uninitialized memory. To fix this, the logic of the caller of said function was simplified, and we now have a `!Invalid` assert in `isMostDerivedAnUnsizedArray`, so we can catch this particular bug more easily in the future. Fingers crossed that this patch sticks this time. :) Original commit message: This patch does three things: - Gives us the alloc_size attribute in clang, which lets us infer the number of bytes handed back to us by malloc/realloc/calloc/any user functions that act in a similar manner. - Teaches our constexpr evaluator that evaluating some `const` variables is OK sometimes. This is why we have a change in test/SemaCXX/constant-expression-cxx11.cpp and other seemingly unrelated tests. Richard Smith okay'ed this idea some time ago in person. - Uniques some Blocks in CodeGen, which was reviewed separately at D26410. Lack of uniquing only really shows up as a problem when combined with our new eagerness in the face of const. llvm-svn: 290297
47 lines
1.0 KiB
C++
47 lines
1.0 KiB
C++
// RUN: %clang_cc1 %s -fblocks -triple x86_64-apple-darwin -emit-llvm -o - | FileCheck %s
|
|
|
|
typedef void (^dispatch_block_t)(void);
|
|
|
|
void dispatch_once(dispatch_block_t);
|
|
|
|
class Zone {
|
|
public:
|
|
Zone();
|
|
~Zone();
|
|
};
|
|
|
|
Zone::Zone() {
|
|
dispatch_once(^{});
|
|
dispatch_once(^{});
|
|
}
|
|
|
|
Zone::~Zone() {
|
|
dispatch_once(^{});
|
|
dispatch_once(^{});
|
|
}
|
|
|
|
class X : public virtual Zone {
|
|
X();
|
|
~X();
|
|
};
|
|
|
|
X::X() {
|
|
dispatch_once(^{});
|
|
dispatch_once(^{});
|
|
};
|
|
|
|
X::~X() {
|
|
dispatch_once(^{});
|
|
dispatch_once(^{});
|
|
};
|
|
|
|
|
|
// CHECK-LABEL: define internal void @___ZN4ZoneC2Ev_block_invoke
|
|
// CHECK-LABEL: define internal void @___ZN4ZoneC2Ev_block_invoke_
|
|
// CHECK-LABEL: define internal void @___ZN4ZoneD2Ev_block_invoke
|
|
// CHECK-LABEL: define internal void @___ZN4ZoneD2Ev_block_invoke_
|
|
// CHECK-LABEL: define internal void @___ZN1XC2Ev_block_invoke
|
|
// CHECK-LABEL: define internal void @___ZN1XC2Ev_block_invoke_
|
|
// CHECK-LABEL: define internal void @___ZN1XD2Ev_block_invoke
|
|
// CHECK-LABEL: define internal void @___ZN1XD2Ev_block_invoke_
|