public inbox for gcc-help@gcc.gnu.org
 help / color / mirror / Atom feed
From: Fabian Cenedese <Cenedese@indel.ch>
To: gcc-help <gcc-help@gcc.gnu.org>
Subject: Re: C++ name mangling in C
Date: Mon, 11 Aug 2014 12:40:00 -0000	[thread overview]
Message-ID: <20140811124022.DCF0F1F1ABC1@macserver.private> (raw)
In-Reply-To: <20140811141602.Horde.U2tZekSvXHQDnS4cFS-29A1@sirzooro.proh ost.pl>


>>>BTW, I realized that there may be an easier way to do such validation in GCC
>>>- write information about each function prototype (found where function is
>>>implemented) and each function call to object files (e.g. as debug data or
>>>in other format), and use it to perform validation in linker. What do you
>>>think about this?
>>
>>That sounds more realistic (and would be useful to people using C, not
>>your suggested C-with-mangling) but I it's still many weeks of work by
>>many people, so you don't have to spend a month fixing your code. Even
>>if it happened, it wouldn't be available in released versions of GCC
>>and the linker for months, so it is not going to help you find "some
>>temporary solution to use now".
>
>I know that you have to stick with your release plans, so this is not  
>something to expect soon. I understand this. What I am looking for are  
>things which I could use now; I thought there may be something in gcc  
>already to help me with my work now, so I asked here.
>
>I also look for long term solutions which could be helpful for me and  
>for others, so I asked more questions. Sorry if I annoyed you.
>
>Thank you for your answer. I will wait for some more feedback on my  
>last proposal about adding and using this extra info, and log and  
>enhancement.

Maybe you could get more results by using a static code analyzer
which does basically the same as the compiler (without actually
compiling) e.g. print a lot of errors and warnings that might show
you the problematic places in the code. We've found pclint very
helpful but of course there are also other programs.

bye  Fabi

  parent reply	other threads:[~2014-08-11 12:40 UTC|newest]

Thread overview: 11+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2014-08-09 19:51 daniel
2014-08-09 20:00 ` Marc Glisse
2014-08-09 20:28   ` daniel
2014-08-10  0:50 ` Jonathan Wakely
2014-08-10 19:55   ` daniel
2014-08-10 23:36     ` Jonathan Wakely
2014-08-11 10:45       ` daniel
2014-08-11 11:24         ` Jonathan Wakely
2014-08-11 12:16           ` daniel
     [not found]             ` <20140811141602.Horde.U2tZekSvXHQDnS4cFS-29A1@sirzooro.proh ost.pl>
2014-08-11 12:40               ` Fabian Cenedese [this message]
2014-08-11 11:29 ` Florian Weimer

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=20140811124022.DCF0F1F1ABC1@macserver.private \
    --to=cenedese@indel.ch \
    --cc=gcc-help@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: link
Be 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).