Files
swift-mirror/test/Interop/SwiftToCxx/ownership/consuming-parameter-in-cxx-execution.cpp
Becca Royal-Gordon da07ff577c [PrintAsClang] Warn about unstable decl order
PrintAsClang is supposed to emit declarations in the same order regardless of the compiler’s internal state, but we have repeatedly found that our current criteria are inadequate, resulting in non-functionality-affecting changes to generated header content. Add a diagnostic that’s emitted when this happens soliciting a bug report.

Since there *should* be no cases where the compiler fails to order declarations, this diagnostic is never actually emitted. Instead, we test this change by enabling `-verify` on nearly all PrintAsClang tests to make sure they are unaffected.

This did demonstrate a missing criterion that only mattered in C++ mode: extensions that varied only in their generic signature were not sorted stably. Add a sort criterion for this.
2025-02-14 21:41:36 -08:00

72 lines
2.1 KiB
C++

// RUN: %empty-directory(%t)
// RUN: %target-swift-frontend %S/consuming-parameter-in-cxx.swift -module-name Init -clang-header-expose-decls=all-public -typecheck -verify -emit-clang-header-path %t/consuming.h
// RUN: %target-interop-build-clangxx -c %s -I %t -o %t/swift-consume-execution.o
// RUN: %target-interop-build-swift %S/consuming-parameter-in-cxx.swift -o %t/swift-consume-execution -Xlinker %t/swift-consume-execution.o -module-name Init -Xfrontend -entry-point-function-name -Xfrontend swiftMain
// RUN: %target-codesign %t/swift-consume-execution
// RUN: %target-run %t/swift-consume-execution | %FileCheck %s
// REQUIRES: executable_test
#include <assert.h>
#include <stdint.h>
#include <stdlib.h>
size_t allocCount = 0;
size_t totalAllocs = 0;
void * _Nonnull trackedAlloc(size_t size, size_t align) {
++allocCount;
++totalAllocs;
return malloc(size);
}
void trackedFree(void *_Nonnull p) {
--allocCount;
free(p);
}
#define SWIFT_CXX_INTEROPERABILITY_OVERRIDE_OPAQUE_STORAGE_alloc trackedAlloc
#define SWIFT_CXX_INTEROPERABILITY_OVERRIDE_OPAQUE_STORAGE_free trackedFree
#include "consuming.h"
extern "C" size_t swift_retainCount(void * _Nonnull obj);
size_t getRetainCount(const Init::AKlass & swiftClass) {
void *p = swift::_impl::_impl_RefCountedClass::getOpaquePointer(swiftClass);
return swift_retainCount(p);
}
int main() {
using namespace Init;
{
auto k = AKlass::init();
k.takeKlass();
assert(getRetainCount(k) == 1);
}
// CHECK: destroy AKlass
{
auto k = AKlass::init();
auto x = createSmallStructNonTrivial(k);
auto x2 = InitFromSmall::init(x);
assert(getRetainCount(k) == 2);
}
// CHECK-NEXT: destroy AKlass
{
auto k = AKlass::init();
auto x = createSmallStructNonTrivial(k);
auto c = TheGenericContainer<SmallStructNonTrivial>::init(x);
assert(getRetainCount(k) == 3);
c.takeGenericContainer();
assert(getRetainCount(k) == 3);
}
// CHECK-NEXT: destroy AKlass
// verify that all of the opaque buffers are freed.
assert(allocCount == 0);
assert(totalAllocs != 0);
return 0;
}