[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