February 2018 - PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(devel): Merge branch 'master' into devel
by Roberto Bagnara 11 Feb '18

11 Feb '18

Module: ppl/ppl Branch: devel Commit: a89aece754be8d974be0c96a32a9f966ea8ee28c URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a89aece754be… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Feb 11 09:13:38 2018 +0100 Merge branch 'master' into devel ---

1 0

[GIT] ppl/ppl(devel): Added missing "template" and "typename" keywords.
by Roberto Bagnara 11 Feb '18

11 Feb '18

Module: ppl/ppl Branch: devel Commit: c39f6a07b51f89e365b05ba4147aa2aa448febd7 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c39f6a07b51f… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Feb 11 09:11:09 2018 +0100 Added missing "template" and "typename" keywords. (Thanks to Dmitrii Pasechnik.) --- src/Determinate_inlines.hh | 4 ++-- src/OR_Matrix_inlines.hh | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/src/Determinate_inlines.hh b/src/Determinate_inlines.hh index 2749953..5b47275 100644 --- a/src/Determinate_inlines.hh +++ b/src/Determinate_inlines.hh @@ -289,8 +289,8 @@ operator()(Determinate& x, const Determinate& y) const { template <typename PSET> template <typename Binary_Operator_Assign> -inline -Determinate<PSET>::Binary_Operator_Assign_Lifter<Binary_Operator_Assign> +inline typename +Determinate<PSET>::template Binary_Operator_Assign_Lifter<Binary_Operator_Assign> Determinate<PSET>::lift_op_assign(Binary_Operator_Assign op_assign) { return Binary_Operator_Assign_Lifter<Binary_Operator_Assign>(op_assign); } diff --git a/src/OR_Matrix_inlines.hh b/src/OR_Matrix_inlines.hh index b20b697..8124b7f 100644 --- a/src/OR_Matrix_inlines.hh +++ b/src/OR_Matrix_inlines.hh @@ -97,7 +97,7 @@ OR_Matrix<T>::Pseudo_Row::Pseudo_Row(const Pseudo_Row<V>& y) template <typename T> template <typename U> -inline OR_Matrix<T>::Pseudo_Row& +inline typename OR_Matrix<T>::template Pseudo_Row& OR_Matrix<T>::Pseudo_Row::operator=(const Pseudo_Row& y) { first = y.first; #if PPL_OR_MATRIX_EXTRA_DEBUG

1 0

[GIT] ppl/ppl(master): Added missing "template" and "typename" keywords.
by Roberto Bagnara 11 Feb '18

11 Feb '18

Module: ppl/ppl Branch: master Commit: c39f6a07b51f89e365b05ba4147aa2aa448febd7 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c39f6a07b51f… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Feb 11 09:11:09 2018 +0100 Added missing "template" and "typename" keywords. (Thanks to Dmitrii Pasechnik.) --- src/Determinate_inlines.hh | 4 ++-- src/OR_Matrix_inlines.hh | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/src/Determinate_inlines.hh b/src/Determinate_inlines.hh index 2749953..5b47275 100644 --- a/src/Determinate_inlines.hh +++ b/src/Determinate_inlines.hh @@ -289,8 +289,8 @@ operator()(Determinate& x, const Determinate& y) const { template <typename PSET> template <typename Binary_Operator_Assign> -inline -Determinate<PSET>::Binary_Operator_Assign_Lifter<Binary_Operator_Assign> +inline typename +Determinate<PSET>::template Binary_Operator_Assign_Lifter<Binary_Operator_Assign> Determinate<PSET>::lift_op_assign(Binary_Operator_Assign op_assign) { return Binary_Operator_Assign_Lifter<Binary_Operator_Assign>(op_assign); } diff --git a/src/OR_Matrix_inlines.hh b/src/OR_Matrix_inlines.hh index b20b697..8124b7f 100644 --- a/src/OR_Matrix_inlines.hh +++ b/src/OR_Matrix_inlines.hh @@ -97,7 +97,7 @@ OR_Matrix<T>::Pseudo_Row::Pseudo_Row(const Pseudo_Row<V>& y) template <typename T> template <typename U> -inline OR_Matrix<T>::Pseudo_Row& +inline typename OR_Matrix<T>::template Pseudo_Row& OR_Matrix<T>::Pseudo_Row::operator=(const Pseudo_Row& y) { first = y.first; #if PPL_OR_MATRIX_EXTRA_DEBUG

1 0

Compiling PPL on x86-64 architecture on windows via cygwin
by Adam Matthew 06 Feb '18

06 Feb '18

Hello. I am having trouble compiling PPL in the stated environment. Your website (http://www.bugseng.com/parma-polyhedra-library/ppl-portability) lists the following tested environments which are related but I am not sure how much so: IA-32 running Cygwin IA-32 running Windows, via MinGW I am a research assistant at Boise State University and I am trying to use PPL for static analysis in combination with the Soot java library (from Sable). I freshly installed Cygwin (with all of the packages offered) on my Windows machine and ran the following commands (I have provided their respective printout files): $ ./configure --with-java=/cygdrive/c/Users/T3chma/Downloads/ppl-1.2/Java/jdk1.7.0_80 --with-cflags=-mcmodel=large --with-cxxflags=-mcmodel=large > configure_output.log $ make > make_output.log I used the flags: --with-cflags=-mcmodel=large --with-cxxflags=-mcmodel=large because I was having "relocation truncated to fit: R_X86_64_PC32 against undefined symbol `Parma_Polyhedra_Library::ppl_unreachable()'" errors. The jdk1.7 that I am pointing at is also know to work with the existing project I am wanting to integrate PPL into. At this point I am getting the following error: .libs/Linear_Expression.o:Linear_Expression.cc: (.rdata$.refptr._ZN23Parma_Polyhedra_Library15ppl_unreachableEv[.refptr._ZN23Parma_Polyhedra_Library15ppl_unreachableEv]+0x0): undefined reference to `Parma_Polyhedra_Library::ppl_unreachable()' collect2: error: ld returned 1 exit status make[3]: *** [Makefile:1299: libppl.la] Error 1 make[2]: *** [Makefile:1224: all] Error 2 make[1]: *** [Makefile:553: all-recursive] Error 1 make: *** [Makefile:482: all] Error 2 It seems like it must be something going wrong in the linker but I am not sure how to resolve the issue.

2 3