This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: Compile Time Memory Leak Analyses
- To: amylaar at redhat dot com, kevina at users dot sourceforge dot net
- Subject: Re: Compile Time Memory Leak Analyses
- From: dewar at gnat dot com
- Date: Mon, 16 Jul 2001 16:59:21 -0400 (EDT)
- Cc: gcc at gcc dot gnu dot org
<<Well, just because somebody has proven that something is not computable
doesn't mean you have to believe him.
>>
Actually that's more true than you might think. Just because something is
non-computable in general does not mean that it is impractical to compute
it in specific cases, and it can even happen that in practice all cases
that actually arise are in this category.