This is an archive of the discontinued LLVM Phabricator instance.

[msan][s390x] Fix long double interceptors
ClosedPublic

Authored by uweigand on Sep 1 2023, 12:56 PM.

Details

Summary

After https://reviews.llvm.org/D158943, the strtol test case is failing on the "long double" functions. This is due to two problems.

The first problem is that s390x is one of the architectures where the "long double" type was changed from a 64-bit IEEE to a 128-bit IEEE type back in the glibc 2.4 days. This means that glibc still exports two versions of the long double functions (those that already existed back then), and we have to intercept the correct version. There is already an existing define SANITIZER_NLDBL_VERSION that indicates this situation, we simply have to respect it when intercepting strtold and wcstold.

The second problem is that on s390x a long double return value is passed in memory via implicit reference. This means the interceptor for functions returning long double has to unpoison that memory slot, or else we will get false-positive uninitialized memory reference warnings when the caller accesses that return value - similar to what is already done in the mallinfo interceptor. Create a variant macro INTERCEPTOR_STRTO_SRET and use it on s390x.

Diff Detail

Event Timeline

uweigand created this revision.Sep 1 2023, 12:56 PM
Herald added a project: Restricted Project. · View Herald TranscriptSep 1 2023, 12:56 PM
Herald added a subscriber: Enna1. · View Herald Transcript
uweigand requested review of this revision.Sep 1 2023, 12:56 PM
Herald added a project: Restricted Project. · View Herald TranscriptSep 1 2023, 12:56 PM
Herald added a subscriber: Restricted Project. · View Herald Transcript
MaskRay accepted this revision.Sep 1 2023, 4:33 PM

Thanks!

This revision is now accepted and ready to land.Sep 1 2023, 4:33 PM
This revision was automatically updated to reflect the committed changes.