Module: ppl/ppl Branch: master Commit: 0758ce9e6d5879bd761fd8825e2771f15dd3e6b0 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0758ce9e6d587...

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Mar 16 20:05:03 2016 +0100

Const correctness improved. Fixes violations of rule MP1.7-1-1 detected by ECLAIR.

---

src/Box_Status_inlines.hh | 6 ++-- src/Box_templates.hh | 9 ++++--- src/EList_Iterator_inlines.hh | 4 +- src/Expression_Adapter_inlines.hh | 25 ++++++++++--------- src/Expression_Hide_Inhomo_inlines.hh | 4 +- src/Expression_Hide_Last_inlines.hh | 29 +++++++++++----------- src/Float_inlines.hh | 42 ++++++++++++++++++-------------- src/GMP_Integer_inlines.hh | 4 +- src/Grid_Generator_System.cc | 4 +- src/Grid_Generator_System_inlines.hh | 16 ++++++------ src/Grid_Generator_inlines.hh | 42 +++++++++++++++++--------------- src/Grid_Status.cc | 2 +- src/Grid_Status_inlines.hh | 10 ++++---- src/Grid_chdims.cc | 9 ++++--- src/Linear_Expression.cc | 22 +++++++++-------- src/compiler.hh | 2 +- 16 files changed, 122 insertions(+), 108 deletions(-)

Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=0758ce9e6...