This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug c/43128] [4.5 Regression] c-c++-common/pr41779.c doesn't work
- From: "manu at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 22 Feb 2010 23:56:21 -0000
- Subject: [Bug c/43128] [4.5 Regression] c-c++-common/pr41779.c doesn't work
- References: <bug-43128-682@http.gcc.gnu.org/bugzilla/>
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
------- Comment #18 from manu at gcc dot gnu dot org 2010-02-22 23:56 -------
(In reply to comment #17)
> suggest having a c_ep_convert_and_check or similar function that handles
> excess precision: it would take the result type, the semantic result type
> (the type that gets used eventually to build an EXCESS_PRECISION_EXPR) and
> the value to convert. It would just call convert_and_check, ignoring the
> semantic type, *except* when the operand has integer type *and* the
> semantic type is non-NULL; in that case, it would first convert to the
> semantic type them to the result type.
Wouldn't that change the normal result of promotion rules?
Also, why call convert_and_check ignoring the semantic type and not just call
convert? The excess precision type should be large enough to not cause any
problem that needs checking.
>
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=43128