public inbox for gcc-bugs@sourceware.org help / color / mirror / Atom feed
From: "pinskia at gcc dot gnu dot org" <gcc-bugzilla@gcc.gnu.org> To: gcc-bugs@gcc.gnu.org Subject: [Bug ada/22328] New: Ada produces mistmatched (non compatible) types in MODIFY_EXPR Date: Wed, 06 Jul 2005 19:28:00 -0000 [thread overview] Message-ID: <20050706192844.22328.pinskia@gcc.gnu.org> (raw) Take the following Ada code: package Test1 is type TSS_Name_Type is new String (1 .. 2); function Get_TSS_Name return TSS_Name_Type; end test1; package body Test1 is function Get_TSS_Name return TSS_Name_Type is begin return " "; end Get_TSS_Name; end Test1; --(reduced from exp_tss.ad?). We get types which are not considered compatible by lang_hooks.types_compatible_p. The types we get are for the right hand side (the STRING_CST): <array_type 0x42549828 test1__get_tss_name__T1b type <integer_type 0x4253bbc8 character sizes-gimplified public unsigned QI size <integer_cst 0x42508200 constant invariant visited 8> unit size <integer_cst 0x42508220 constant invariant 1> user align 8 symtab 0 alias set -1 precision 8 min <integer_cst 0x42535f80 0> max <integer_cst 0x42535fa0 255> RM size <integer_cst 0x42508200 8> pointer_to_this <pointer_type 0x4253be80 access_character>> sizes-gimplified HI size <integer_cst 0x42508360 type <integer_type 0x4250f1d0 bit_size_type> constant invariant 16> unit size <integer_cst 0x42508380 type <integer_type 0x4250f15c long int> constant invariant 2> user align 8 symtab 0 alias set 0 domain <integer_type 0x42549740 type <integer_type 0x4250f15c long int sizes-gimplified public visited sizetype SI size <integer_cst 0x425084a0 constant invariant 32> unit size <integer_cst 0x42508160 constant invariant 4> align 32 symtab 0 alias set -1 precision 32 min <integer_cst 0x425088c0 -2147483648> max <integer_cst 0x42508940 2147483647>> sizes-gimplified SI size <integer_cst 0x425084a0 32> unit size <integer_cst 0x42508160 4> align 32 symtab 0 alias set -1 precision 32 min <integer_cst 0x42508220 1> max <integer_cst 0x42508380 2> index type <integer_type 0x425496cc type <integer_type 0x4250f488 integer> SI size <integer_cst 0x425084a0 32> unit size <integer_cst 0x42508160 4> align 32 symtab 0 alias set -1 precision 32 min <integer_cst 0x42508a20 1> max <integer_cst 0x4251e080 2>>>> For the left hand side (<retval>): <array_type 0x42549488 test1__tss_name_type type <integer_type 0x4253bbc8 character sizes-gimplified public unsigned QI size <integer_cst 0x42508200 constant invariant visited 8> unit size <integer_cst 0x42508220 constant invariant 1> user align 8 symtab 0 alias set -1 precision 8 min <integer_cst 0x42535f80 0> max <integer_cst 0x42535fa0 255> RM size <integer_cst 0x42508200 8> pointer_to_this <pointer_type 0x4253be80 access_character>> sizes-gimplified visited nonaliased-component HI size <integer_cst 0x42508360 type <integer_type 0x4250f1d0 bit_size_type> constant invariant 16> unit size <integer_cst 0x42508380 type <integer_type 0x4250f15c long int> constant invariant 2> user align 8 symtab 0 alias set 0 domain <integer_type 0x425493a0 type <integer_type 0x4250f15c long int sizes-gimplified public visited sizetype SI size <integer_cst 0x425084a0 constant invariant 32> unit size <integer_cst 0x42508160 constant invariant 4> align 32 symtab 0 alias set -1 precision 32 min <integer_cst 0x425088c0 -2147483648> max <integer_cst 0x42508940 2147483647>> sizes-gimplified visited SI size <integer_cst 0x425084a0 32> unit size <integer_cst 0x42508160 4> align 32 symtab 0 alias set -1 precision 32 min <integer_cst 0x42508220 1> max <integer_cst 0x42508380 2> index type <integer_type 0x425492b8 test1__Ttss_name_typeP1___XDLU_1__2 type <integer_type 0x4250f488 integer> sizes-gimplified visited unsigned SI size <integer_cst 0x425084a0 32> unit size <integer_cst 0x42508160 4> user align 32 symtab 0 alias set -1 precision 32 min <integer_cst 0x42508a20 1> max <integer_cst 0x4251e080 2> RM size <integer_cst 0x4251e0a0 constant invariant 2>>> pointer_to_this <pointer_type 0x425499f8>> -- Summary: Ada produces mistmatched (non compatible) types in MODIFY_EXPR Product: gcc Version: 4.1.0 Status: UNCONFIRMED Severity: normal Priority: P2 Component: ada AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: pinskia at gcc dot gnu dot org CC: gcc-bugs at gcc dot gnu dot org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22328
next reply other threads:[~2005-07-06 19:28 UTC|newest] Thread overview: 12+ messages / expand[flat|nested] mbox.gz Atom feed top 2005-07-06 19:28 pinskia at gcc dot gnu dot org [this message] 2005-07-06 19:30 ` [Bug ada/22328] " pinskia at gcc dot gnu dot org 2005-07-06 19:31 ` pinskia at gcc dot gnu dot org 2005-07-06 19:32 ` [Bug ada/22328] Ada produces missed match " pinskia at gcc dot gnu dot org 2005-07-06 19:49 ` pinskia at gcc dot gnu dot org 2005-07-06 20:07 ` pinskia at gcc dot gnu dot org 2005-07-07 18:31 ` [Bug ada/22328] Ada produces mis-match " pinskia at gcc dot gnu dot org 2005-07-08 15:29 ` pinskia at gcc dot gnu dot org 2005-07-08 15:39 ` bosch at adacore dot com 2005-07-08 15:44 ` bosch at gcc dot gnu dot org 2005-07-08 20:25 ` pinskia at gcc dot gnu dot org 2005-09-06 8:31 ` ebotcazou at gcc dot gnu dot org
Reply instructions: You may reply publicly to this message via plain-text email using any one of the following methods: * Save the following mbox file, import it into your mail client, and reply-to-all from there: mbox Avoid top-posting and favor interleaved quoting: https://en.wikipedia.org/wiki/Posting_style#Interleaved_style * Reply using the --to, --cc, and --in-reply-to switches of git-send-email(1): git send-email \ --in-reply-to=20050706192844.22328.pinskia@gcc.gnu.org \ --to=gcc-bugzilla@gcc.gnu.org \ --cc=gcc-bugs@gcc.gnu.org \ /path/to/YOUR_REPLY https://kernel.org/pub/software/scm/git/docs/git-send-email.html * If your mail client supports setting the In-Reply-To header via mailto: links, try the mailto: linkBe sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox; as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).