[PPL-devel] [GIT] ppl/ppl(master): Silenced warnings.
Abramo Bagnara
abramo.bagnara at gmail.com
Fri Apr 16 09:02:08 CEST 2010
Module: ppl/ppl
Branch: master
Commit: 4c2dac122ee1de57646e57a6268d1c191f973114
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4c2dac122ee1de57646e57a6268d1c191f973114
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date: Fri Apr 16 09:02:05 2010 +0200
Silenced warnings.
---
src/intervals.defs.hh | 2 ++
1 files changed, 2 insertions(+), 0 deletions(-)
diff --git a/src/intervals.defs.hh b/src/intervals.defs.hh
index 86b6e94..8477393 100644
--- a/src/intervals.defs.hh
+++ b/src/intervals.defs.hh
@@ -253,6 +253,8 @@ public:
case V_EQ_MINUS_INFINITY:
case V_EQ:
return V_LGE;
+ default:
+ break;
}
rel1 = assign_r(to1, c.value(), ROUND_DOWN);
rel1 = result_relation_class(rel1);
More information about the PPL-devel
mailing list