URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d4b12db130c32... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Fri Dec 9 13:53:56 2011 +0100
Added macro PPL_C_UNREACHABLE_MSG. Use the new macro in a few places in the C interface code. Standardized messages for errors due to Watchdog library not enabled.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9438c7071464c... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Fri Dec 9 13:40:22 2011 +0100
Added macros PPL_OCAML_UNREACHABLE and PPL_OCAML_UNREACHABLE_MSG. Try and use them systematically in the OCaml interface.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9a523cbe043fa... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Fri Dec 9 13:02:40 2011 +0100
Added new macro PPL_JAVA_UNREACHABLE. Use the new macro to mark unreachable code in the Java interface files.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d08420c8dc65a... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Fri Dec 9 12:58:29 2011 +0100
Replaced throws of runtime_error exceptions by calls to PPL_UNREACHABLE. Got rid of a few (now unused) exception throwers.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=31a0bdcb139c6... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Fri Dec 9 11:26:13 2011 +0100
Avoid (unreachable) default label when all cases have been listed.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3849aea53fcb8... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Fri Dec 9 11:23:36 2011 +0100
Prefer PPL_UNREACHABLE to PPL_ASSERT(0). Avoid mixing reachable and unreachable code paths.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=14344113942d2... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Fri Dec 9 11:22:27 2011 +0100
Replaced an occurrence of PPL_ASSERT(0) by PPL_UNREACHABLE. Added an assertion and comment explaining why cases are unreachable.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d3265acda1a51... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Fri Dec 9 11:20:54 2011 +0100
Replaced an occurrence of PPL_ASSERT(0) by PPL_UNREACHABLE. Added proper assertion for preconditions.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7c636fa0e8837... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Fri Dec 9 09:42:20 2011 +0100
Prefer if-then-else construct to binary switch. Detected by ECLAIR service swchlabs.
Prefer listing a couple of residual switch cases to default label.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=eb0fe79c7af7b... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Fri Dec 9 09:20:35 2011 +0100
Replaced PPL_ASSERT(false) with PPL_UNREACHABLE. For readability, avoid mixing reachable and unreachable paths.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1bc6cf294d3c3... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Fri Dec 9 09:16:19 2011 +0100
Prefer if-then-else construct to binary switch. Detected by ECLAIR service swchlabs.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=13865670123ac... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Fri Dec 9 08:56:38 2011 +0100
Fixed a couple of switch statements where we were mixing reachable and unreachable code paths, reducing readability. Added precondition assertions at the start of assign_special_float() so as to make clearer why the default switch case is unreachable.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5adf6d4df3cc5... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Fri Dec 9 08:25:19 2011 +0100
Added new macro PPL_UNREACHABLE, to be used instead of PPL_ASSERT(false). Started replacing calls to PPL_ASSERT(false) in the core library code.