#include <stdexcept>
#include <type_traits>
#include <utility>
+#include <xbt/ex.h>
namespace simgrid {
namespace xbt {
case ResultStatus::exception:
new (&exception_) T(that.exception);
break;
+ default:
+ THROW_IMPOSSIBLE;
}
return *this;
}
new (&exception_) T(std::move(that.exception));
that.exception.~exception_ptr();
break;
+ default:
+ THROW_IMPOSSIBLE;
}
that.status_ = ResultStatus::invalid;
return *this;
case ResultStatus::exception:
exception_.~exception_ptr();
break;
+ default:
+ THROW_IMPOSSIBLE;
}
status_ = ResultStatus::invalid;
}
}
switch (type.type) {
+ default:
+ XBT_DEBUG("Unhandled type: %d (%s)", type.type, simgrid::dwarf::tagname(type.type));
+ break;
+
case DW_TAG_array_type:
type.element_count = MC_dwarf_array_element_count(die, unit);
// TODO, handle DW_byte_stride and (not) DW_bit_stride
case simgrid::mc::RequestType::internal:
use_remote_comm = false;
break;
+ default:
+ THROW_IMPOSSIBLE;
}
const char* type = nullptr;
sg_host_get_name(simcall->issuer->host)
);
break;
-
+ default:
+ THROW_IMPOSSIBLE;
}
}
fd.write(' sg_host_get_name(simcall->issuer->host)\n')
fd.write(' );\n')
fd.write(' break;\n')
- fd.write('\n')
+ fd.write(' default:\n')
+ fd.write(' THROW_IMPOSSIBLE;\n')
fd.write(' }\n')
fd.write('}\n')
case A_surfxml_zoneRoute_symmetrical_NO:
ASroute.symmetrical = false;
break;
+ default:
+ THROW_IMPOSSIBLE;
}
sg_platf_new_route(&ASroute);
#include "xbt/automaton.h"
#include <stdio.h> /* printf */
+#include <xbt/log.h>
+
+XBT_LOG_NEW_DEFAULT_SUBCATEGORY(xbt_automaton, xbt, "Automaton");
struct xbt_automaton_propositional_symbol{
char* pred;
p = va_arg(ap, char*);
label->u.predicat = xbt_strdup(p);
break;
+ case 4:
+ break;
+ default:
+ XBT_DEBUG("Invalid type: %d", type);
+ xbt_free(label);
+ break;
}
va_end(ap);
return label;
#if HAVE_UNISTD_H
# include <unistd.h> /* isatty */
#endif
+#include <xbt/log.h>
+
+XBT_LOG_EXTERNAL_DEFAULT_CATEGORY(xbt_automaton);
static xbt_automaton_t parsed_automaton;
char* state_id_src;
case 4 :
label = xbt_automaton_exp_label_new(type);
break;
+ default:
+ XBT_DEBUG("Invalid type: %d", type);
+ break;
}
va_end(ap);
return label;
XBT_LOG_CONNECT(xbt_dict_elm);
XBT_LOG_CONNECT(xbt_dyn);
XBT_LOG_CONNECT(xbt_ex);
+ XBT_LOG_CONNECT(xbt_automaton);
XBT_LOG_CONNECT(xbt_backtrace);
XBT_LOG_CONNECT(xbt_exception);
XBT_LOG_CONNECT(xbt_graph);