[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]


Greetings!  I cannot reproduce the autobuild failure on caballero with
the same build-deps packages installed (locally in my home directory).
There appears to be a recent change to gcc-3.2 on this platform which
is printing out warnings of unaligned accesses ... ip=.....  Even with
this extra output, acl2 builds fine and passes all tests for me, but
not the on autobuilder, where the warning messages are not present,
but immediate evidence of gcl miscompilation is displayed.  None of
this showed up as recently as acl2_2.6-15, a week or two ago.

I can try to find out where these accesses are coming from if I can
find out where the apparently-gcc-installed warning is being output,
which is thus far evading me.  gcl also has the ability to align
memory blocks on boundaries coarser than the word size, which can be
used if necessary.  I assumed this was not necessary here.

Advice appreciated.

Take care,

Camm Maguire			     			camm@enhanced.com
"The earth is but one country, and mankind its citizens."  --  Baha'u'llah

Reply to: