Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[pvs] A part of conditional expression is always false: parameters.empty().
authorArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Wed, 25 Nov 2020 22:00:42 +0000 (23:00 +0100)
committerArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Wed, 25 Nov 2020 22:00:42 +0000 (23:00 +0100)
src/kernel/routing/DragonflyZone.cpp

index e310310..5f9bba5 100644 (file)
@@ -51,7 +51,7 @@ void DragonflyZone::parse_specific_arguments(ClusterCreationArgs* cluster)
   std::vector<std::string> tmp;
   boost::split(parameters, cluster->topo_parameters, boost::is_any_of(";"));
 
-  if (parameters.size() != 4 || parameters.empty()) {
+  if (parameters.size() != 4) {
     surf_parse_error(
         "Dragonfly are defined by the number of groups, chassis per groups, blades per chassis, nodes per blade");
   }