> What's the result type of float * int ? Definitively not double, but
> float. (Just the intermediate result in the x87 fpu has extended
> precision.)
True, according to C11 standard, section 6.3.1.8, the result type of
float * int is float.
> So I don't think the compiler is wrong considering
The plymouth glitch caused by this bug is #801080.
Package: gcc
Version: 4:5.2.1-4
Severity: normal
Tags: upstream
Hello,
I believe I've found a bug in GCC that affects plymouth and maybe
other packages on i386. The following minimal code produces an
incorrect result.
$ cat test.c
#include
#include
void main(int argc, char **argv) {
3 matches
Mail list logo
