
Module: ppl/ppl Branch: master Commit: b9259e66b7b7fa5a536497b66baf3fcee31b2cdb URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b9259e66b7b7f...
Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Wed Feb 22 23:54:30 2012 +0100
Avoid implicit conversions changing integer type signedness. Detected by ECLAIR service utypflag.
---
src/Bit_Row.cc | 8 ++-- src/Bit_Row.inlines.hh | 2 +- src/CO_Tree.cc | 14 ++++----- src/CO_Tree.defs.hh | 2 +- src/CO_Tree.templates.hh | 7 ++-- src/Float.defs.hh | 68 +++++++++++++++++++++--------------------- src/Float.inlines.hh | 12 ++++---- src/Float.templates.hh | 3 +- src/checked_float.inlines.hh | 14 ++++---- src/checked_int.inlines.hh | 38 ++++++++++++------------ src/compiler.hh | 5 +-- src/globals.inlines.hh | 3 +- 12 files changed, 86 insertions(+), 90 deletions(-)
Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=b9259e66b...