[PPL-devel] [GIT] ppl/ppl(master): Missing default added.

Module: ppl/ppl Branch: master Commit: 81c390271c8f47449334cf77571eb991c40c47d8 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=81c390271c8f4... Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Mon Feb 20 22:59:23 2012 +0100 Missing default added. --- src/Interval.defs.hh | 4 ++++ 1 files changed, 4 insertions(+), 0 deletions(-) diff --git a/src/Interval.defs.hh b/src/Interval.defs.hh index 843d17e..7be0400 100644 --- a/src/Interval.defs.hh +++ b/src/Interval.defs.hh @@ -383,6 +383,10 @@ public: set_unbounded(UPPER, upper(), info()); r = I_UNIVERSE | I_EXACT; break; + default: + PPL_UNREACHABLE; + r = I_EMPTY; + break; } PPL_ASSERT(OK()); return r;