Changeset 94fe43 in git

Timestamp:

Jan 25, 2013, 10:09:01 PM (11 years ago)

Author:

Oleksandr Motsak <motsak@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

39e070d960bd0ab6d36b34b34c868cd1085371e5

Parents:

5efd81570bd3d8921d3bf3272bb1214556bf665f

git-author:

Oleksandr Motsak <motsak@mathematik.uni-kl.de>2013-01-25 22:09:01+01:00

git-committer:

Oleksandr Motsak <motsak@mathematik.uni-kl.de>2013-01-28 18:21:51+01:00

Message:

Fix: (for 32-bit builds): libpolys/misc/intvec.cc should be compiled with "-fwrapv"

This option instructs the compiler to assume that signed arithmetic
overflow of addition, subtraction and multiplication wraps around
using twos-complement representation. This flag enables some
optimizations and disables others.

See http://gcc.gnu.org/onlinedocs/gcc-4.4.6/gcc/Code-Gen-Options.html

Location:

libpolys/misc

Files:

• Makefile.am (modified) (4 diffs)
• intvec.cc (modified) (3 diffs)

libpolys/misc/Makefile.am

@@ -1 @@
-CXXTEMPLFLAGS      =-ftrapv  
-## -fno-implicit-templates
+CXXTEMPLFLAGS      =-ftrapv -fno-implicit-templates
 
 AM_CPPFLAGS = -I${top_srcdir} -I${top_srcdir}/.. -I${top_builddir} -I${top_builddir}/..
@@ -13 +12 @@
 libmiscdir = $(libdir)/singular
 
+
 libmisc_la_CFLAGS   = -O3 -fomit-frame-pointer ${PIPE}
 libmisc_g_la_CFLAGS = ${PIPE}
@@ -23 +23 @@
 libmisc_g_la_CPPFLAGS = ${AM_CPPFLAGS} -DHAVE_CONFIG_H
 
-SOURCES  = intvec.cc int64vec.cc options.c
+
+noinst_LTLIBRARIES = libintvec.la libintvec_g.la
+
+libmisc_la_LIBADD = libintvec.la
+libmisc_g_la_LIBADD = libintvec_g.la
+
+
+SOURCES  = int64vec.cc options.c
 libmisc_la_SOURCES   = $(SOURCES)
 libmisc_g_la_SOURCES = $(SOURCES)
@@ -36 +43 @@
 
 
+libintvec_la_SOURCES = intvec.cc 
+libintvec_g_la_SOURCES = ${libintvec_la_SOURCES}
 
 
+libintvec_la_CXXFLAGS = -O3 -fomit-frame-pointer ${PIPE} -fwrapv -fno-implicit-templates
+libintvec_g_la_CXXFLAGS = -g -Wextra -Wall -pedantic -Wno-long-long ${PIPE} -fwrapv -fno-implicit-templates
+
+libintvec_la_CPPFLAGS   = ${AM_CPPFLAGS} -DHAVE_CONFIG_H -DNDEBUG -DOM_NDEBUG
+libintvec_g_la_CPPFLAGS = ${AM_CPPFLAGS} -DHAVE_CONFIG_H
+

libpolys/misc/intvec.cc

@@ -8 +8 @@
 #define INTVEC_CC
 
+
 #include "config.h"
 #include <misc/auxiliary.h>
@@ -15 +16 @@
 #include <misc/options.h>
 #include <omalloc/omalloc.h>
+
+#pragma GCC push_options
+#pragma GCC optimize ("wrapv") 
 
 /*0 implementation*/
@@ -804 +808 @@
 }
 
+#pragma GCC pop_options
+
 #endif