This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: [PATCH] Fix PR15791


On Thu, 27 Jan 2005, Richard Guenther wrote:

> so somehow it magically works (it just doesn't detect that in the
> C++ case it is false).  Humm, it doesn't work for C++ at all it
> seems - I guess there &b[1] is in another internal form again...

Indeed.  For C++ we are not presented with any lowered form:

 <eq_expr 0x401481d4
    type <boolean_type 0x40149804 bool public unsigned QI
        size <integer_cst 0x40141210 constant invariant 8>
        unit size <integer_cst 0x40141228 constant invariant 1>
        align 8 symtab 0 alias set -1 precision 1 min <integer_cst
0x40141600 0> max <integer_cst 0x40141630 1>>
    constant invariant
    arg 0 <addr_expr 0x401a9f00
        type <pointer_type 0x40156dec type <integer_type 0x4014957c int>
            unsigned SI
            size <integer_cst 0x40141408 constant invariant 32>
            unit size <integer_cst 0x40141198 constant invariant 4>
            align 32 symtab 0 alias set -1>
        constant invariant
        arg 0 <array_ref 0x401d29f4 type <integer_type 0x4014957c int>
            arg 0 <var_decl 0x401d0510 b>
            arg 1 <integer_cst 0x40141a08 constant invariant 0>>>
    arg 1 <addr_expr 0x401a9f20 type <pointer_type 0x40156dec>
        constant invariant
        arg 0 <array_ref 0x401d2a28 type <integer_type 0x4014957c int>
            arg 0 <var_decl 0x401d0510 b>
            arg 1 <integer_cst 0x40141a20 constant invariant 1>>>>

while it is not difficult to add this case -- how much more different
"forms" do I have to expect (and handle)?

Richard.

--
Richard Guenther <richard dot guenther at uni-tuebingen dot de>
WWW: http://www.tat.physik.uni-tuebingen.de/~rguenth/


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]