I noticed that we add a constraint for each variable that is assigned
to the
return value of a function call even though that information is useless
for
non pointers? Is there a reason why we do this?
For the following C file:
int f(void);
int g(void)
{
int y = f();
int x = f();
return
Snapshot gcc-4.1-20051230 is now available on
ftp://gcc.gnu.org/pub/gcc/snapshots/4.1-20051230/
and on various mirrors, see http://gcc.gnu.org/mirrors.html for details.
This snapshot has been generated from the GCC 4.1 SVN branch
with the following options: svn://gcc.gnu.org/svn/gcc/branches
Hello,
This email is to follow up on your communication with the Free Software
Foundation. Previously, you had expressed interest in contributing to
the GNU Project. If this is still the case please respond so that we
can move the process along. If you did not receive the assignment
please let us
On Dec 29, 2005, at 2:20 PM, Domagoj D wrote:
In the case anybody cares about code verifiability... It's
exteremely hard
to automatically prove the correctness of the code that uses pointer
arithmetic and casts as in the example above.
It is but a couple of trivial rules that one should have
On Fri, Dec 30, 2005 at 08:05:13PM +0100, Jakub Jelinek wrote:
> On Fri, Dec 30, 2005 at 10:58:16AM -0800, H. J. Lu wrote:
> > > One, this will not work at all libobjc or libgcj since they
> > > require lookups at runtime.
> >
> > Are you saying "gcc -static" doesn't work with libobjc and libgcj?
H. J. Lu wrote:
On Fri, Dec 30, 2005 at 01:56:16PM -0500, Andrew Pinski wrote:
On Dec 30, 2005, at 1:53 PM, H. J. Lu wrote:
Gcc build executable linking against dynamic libraries by default.
"-static" will link against all static libraries. For run-time
portability, we may want to link again
On Fri, Dec 30, 2005 at 10:58:16AM -0800, H. J. Lu wrote:
> > One, this will not work at all libobjc or libgcj since they
> > require lookups at runtime.
>
> Are you saying "gcc -static" doesn't work with libobjc and libgcj?
It certainly doesn't work with libgcj (well, you can link in libgcj.a,
b
On Dec 30, 2005, at 1:58 PM, H. J. Lu wrote:
Are you saying "gcc -static" doesn't work with libobjc and libgcj?
Yes, they have never really worked. You need to cause to import all of
the .a file instead of just letting the linker link in the parts that
it says it needs.
-- Pinski
On Fri, Dec 30, 2005 at 01:56:16PM -0500, Andrew Pinski wrote:
>
> On Dec 30, 2005, at 1:53 PM, H. J. Lu wrote:
>
> >Gcc build executable linking against dynamic libraries by default.
> >"-static" will link against all static libraries. For run-time
> >portability, we may want to link against sta
On Dec 30, 2005, at 1:53 PM, H. J. Lu wrote:
Gcc build executable linking against dynamic libraries by default.
"-static" will link against all static libraries. For run-time
portability, we may want to link against static gcc libraries, like
libstdc++.a, libgfortran.a, libgcj.a, , but agai
Gcc build executable linking against dynamic libraries by default.
"-static" will link against all static libraries. For run-time
portability, we may want to link against static gcc libraries, like
libstdc++.a, libgfortran.a, libgcj.a, , but against dynamic system
libraries, when we building ex
What parameter do I put into loader.conf to do that? I did some googling
and the kern.maxdsiz parameter I found a reference to didn't work. Where
do I find that information?
If I were going to compile it with the Doug Lea malloc, would I need to
recompile GCC?
Thanks!
Jon Brisbin
Webmaster
A bug in FreeBSD's malloc?
http://lists.cs.uiuc.edu/pipermail/llvmdev/2005-December/005125.html
On Fri, Dec 30, 2005 at 10:53:43AM -0600, Jon Brisbin wrote:
> Update:
>
> Just tarred everything up and stuck it on one of my servers, which has
> 4GBs of physical RAM and 2GBs of swap. Same problem
On Fri, Dec 30, 2005 at 10:53:43AM -0600, Jon Brisbin wrote:
> Update:
>
> Just tarred everything up and stuck it on one of my servers, which has
> 4GBs of physical RAM and 2GBs of swap. Same problem: "virtual memory
> exhausted". If 6GBs isn't enough, then I'm out of ideas.
>
> I tried patchin
Update:
Just tarred everything up and stuck it on one of my servers, which has
4GBs of physical RAM and 2GBs of swap. Same problem: "virtual memory
exhausted". If 6GBs isn't enough, then I'm out of ideas.
I tried patching make with a patch I found on the make ML archives. No
dice. Checked ou
I'm trying to install the GCC 4.1 snapshot from Dec 23, 2005 on my
FreeBSD box. I'm trying to try out gcj. The installation fails,
complaining about not enough virtual memory. I just added another 2GB
swap file on this box. I now have 1GB of physical RAM and 4GBs of swap.
And that's not enough?
Mike Stump:
> make will build libgcc for the target, specifically, you should be
> able to cd gcc && make libgcc.a to build it.
It did when I added --host=rdos to the configuration script and
changed a couple of other files. My only current problem is that
since RDOS uses the .exe suffix for exe
17 matches
Mail list logo
