Skip to content

[ubsan-minimal] Switch to weak symbols for callbacks to allow overriding in client code #119242

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 6 commits into from
Dec 13, 2024
Merged

[ubsan-minimal] Switch to weak symbols for callbacks to allow overriding in client code #119242

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
6 commits
Select commit Hold shift + click to select a range
6043590
[UBSAN-MINRT] Switch to weak symbols for callbacks to allow overriding
kstoimenov Dec 6, 2024
8885f82
Repatch.
kstoimenov Dec 13, 2024
189941c
Added a test.
kstoimenov Dec 13, 2024
67a7658
Fixed the test.
kstoimenov Dec 13, 2024
ce65b1c
clang-format
kstoimenov Dec 13, 2024
c10a299
msg -> kind
kstoimenov Dec 13, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
7 changes: 4 additions & 3 deletions compiler-rt/lib/ubsan_minimal/ubsan_minimal_handlers.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -48,7 +48,8 @@ static void format_msg(const char *kind, uintptr_t caller, char *buf,
*buf = '\0';
}

static void report_error(const char *kind, uintptr_t caller) {
SANITIZER_INTERFACE_WEAK_DEF(void, __ubsan_report_error, const char *kind,
uintptr_t caller) {
if (caller == 0)
return;
while (true) {
Expand Down Expand Up @@ -114,13 +115,13 @@ void NORETURN CheckFailed(const char *file, int, const char *cond, u64, u64) {

#define HANDLER_RECOVER(name, kind) \
INTERFACE void __ubsan_handle_##name##_minimal() { \
report_error(kind, GET_CALLER_PC()); \
__ubsan_report_error(kind, GET_CALLER_PC()); \
}

#define HANDLER_NORECOVER(name, kind) \
INTERFACE void __ubsan_handle_##name##_minimal_abort() { \
uintptr_t caller = GET_CALLER_PC(); \
report_error(kind, caller); \
__ubsan_report_error(kind, caller); \
abort_with_message(kind, caller); \
}

Expand Down
15 changes: 15 additions & 0 deletions compiler-rt/test/ubsan_minimal/TestCases/override-callback.c
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,15 @@
// RUN: %clang -fsanitize=implicit-integer-sign-change %s -o %t && %run %t 0 2>&1 | FileCheck %s
#include <stdint.h>
#include <stdio.h>
#include <stdlib.h>

static int Result;

void __ubsan_report_error(const char *kind, uintptr_t caller) {
fprintf(stderr, "CUSTOM_CALLBACK: %s\n", kind);
}

int main(int argc, const char **argv) {
int32_t t0 = (~((uint32_t)0));
// CHECK: CUSTOM_CALLBACK: implicit-conversion
}
Loading