This is an archive of the discontinued LLVM Phabricator instance.

[msan] Don't check divisor shadow in fdiv.
ClosedPublic

Authored by eugenis on May 18 2018, 1:20 PM.

Details

Summary

Floating point division by zero or even undef does not have undefined
behavior and may occur due to optimizations.

Fixes https://bugs.llvm.org/show_bug.cgi?id=37523.

Event Timeline

eugenis created this revision.May 18 2018, 1:20 PM
kcc accepted this revision.May 18 2018, 1:22 PM

LGTM

This revision is now accepted and ready to land.May 18 2018, 1:22 PM
This revision was automatically updated to reflect the committed changes.
Herald added a subscriber: Restricted Project. · View Herald TranscriptMay 18 2018, 1:23 PM