[llvm-commits] [PATCH] Fix various instances of undefined behavior

Eli Friedman eli.friedman at gmail.com
Wed Oct 12 16:24:25 PDT 2011


On Wed, Oct 12, 2011 at 1:50 AM, Ahmed Charles <ahmedcharles at gmail.com> wrote:
> Similar patch with stuff found compiling boost. The one in APFloat
> seems like an actual bug. "make check-all" passes for all of these
> changes.
>
> On Tue, Oct 11, 2011 at 9:17 PM, Ahmed Charles <ahmedcharles at gmail.com> wrote:
>> I'm not sure if each instance is a bug, other than simply executing
>> undefined behavior (which meets my personal bar), but some of them
>> actually seem like logic bugs or typos. Please review and commit some
>> or all of the changes.

I committed changes to APFloat, EarlyCSE, DenseMapInfo.h, and
SelectionDAGBuilder.cpp.

For the LSR ones, I'm not entirely sure what the intent is; the math
seems a bit suspicious.

For the change to lib/Analysis/ProfileEstimatorPass.cpp, as far as I
know, a floating-point divide-by-zero is not undefined behavior.

For everything else, would you mind consolidating the remaining
changes into a single patch?

-Eli



More information about the llvm-commits mailing list