mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
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.
60 lines
1.7 KiB
C++
60 lines
1.7 KiB
C++
// RUN: %empty-directory(%t)
|
|
|
|
// RUN: %target-swift-frontend %S/swift-primitive-inout-functions-cxx-bridging.swift -module-name Functions -clang-header-expose-decls=all-public -typecheck -verify -emit-clang-header-path %t/functions.h
|
|
|
|
// RUN: %target-interop-build-clangxx -c %s -I %t -o %t/swift-functions-execution.o
|
|
// RUN: %target-interop-build-swift %S/swift-primitive-inout-functions-cxx-bridging.swift -o %t/swift-functions-execution -Xlinker %t/swift-functions-execution.o -module-name Functions -Xfrontend -entry-point-function-name -Xfrontend swiftMain
|
|
|
|
// RUN: %target-codesign %t/swift-functions-execution
|
|
// RUN: %target-run %t/swift-functions-execution
|
|
|
|
// REQUIRES: executable_test
|
|
|
|
#include <cassert>
|
|
#include "functions.h"
|
|
|
|
#define VERIFY_INOUT_VALUE(FUNC, TYPENAME, INITIAL_VALUE, EXPECT_VALUE) \
|
|
do { \
|
|
TYPENAME variable = INITIAL_VALUE; \
|
|
FUNC(variable); \
|
|
assert(variable == EXPECT_VALUE); \
|
|
} while (false);
|
|
|
|
int main() {
|
|
using namespace Functions;
|
|
|
|
VERIFY_INOUT_VALUE(inOutInt, swift::Int, swift::Int{1}, swift::Int{0});
|
|
|
|
{
|
|
swift::Int x{1}, y{2};
|
|
inOutTwoInt(x, y);
|
|
assert(x == swift::Int{3});
|
|
assert(y == swift::Int{-4});
|
|
}
|
|
|
|
{
|
|
bool x = false;
|
|
double y = 6.28;
|
|
inOutTwoParam(x, y);
|
|
assert(x);
|
|
assert(y == 3.14);
|
|
}
|
|
|
|
{
|
|
char c[2] = {'A', 'B'};
|
|
const void *p = &c[0];
|
|
assert(*static_cast<const char *>(p) == 'A');
|
|
inoutTypeWithNullability(p);
|
|
assert(*static_cast<const char *>(p) == 'B');
|
|
}
|
|
|
|
{
|
|
int a[2] = {1,2};
|
|
const int *p = a;
|
|
assert(*p == 1);
|
|
inoutUnsafeGenericPointer(p);
|
|
assert(p == &a[1]);
|
|
assert(*p == 2);
|
|
}
|
|
}
|