namespace simgrid {
namespace mc {
-void dumpStack(FILE* file, unw_cursor_t cursor)
+void dumpStack(FILE* file, unw_cursor_t&& cursor)
{
int nframe = 0;
char buffer[100];
context.initialize(&mc_model_checker->process(), &raw_context);
unw_cursor_t cursor = context.cursor();
- simgrid::mc::dumpStack(file, cursor);
+ simgrid::mc::dumpStack(file, std::move(cursor));
}
}
#endif
static unw_addr_space_t createUnwindAddressSpace();
};
-void dumpStack(FILE* file, unw_cursor_t cursor);
+void dumpStack(FILE* file, unw_cursor_t&& cursor);
void dumpStack(FILE* file, pid_t pid);
}
}
return;
}
- simgrid::mc::dumpStack(stderr, cursor);
+ simgrid::mc::dumpStack(stderr, std::move(cursor));
_UPT_destroy(context);
unw_destroy_addr_space(as);
const Buffer& flat_data() const { return flat_data_; }
Buffer& flat_data() { return flat_data_; }
- void page_data(ChunkedData page_data)
+ void page_data(ChunkedData&& page_data)
{
storage_type_ = StorageType::Chunked;
flat_data_.clear();
bool is_used_ = false; /* Indicates whether the task is used in SIMIX currently */
explicit Task(std::string name, double flops_amount, double bytes_amount, void* data);
- explicit Task(std::string name, std::vector<s4u::Host*> hosts, std::vector<double> flops_amount,
- std::vector<double> bytes_amount, void* data);
+ explicit Task(std::string name, std::vector<s4u::Host*>&& hosts, std::vector<double>&& flops_amount,
+ std::vector<double>&& bytes_amount, void* data);
void report_multiple_use() const;
MC_ignore_heap(&(id_), sizeof(id_));
}
-Task::Task(std::string name, std::vector<s4u::Host*> hosts, std::vector<double> flops_amount,
- std::vector<double> bytes_amount, void* data)
+Task::Task(std::string name, std::vector<s4u::Host*>&& hosts, std::vector<double>&& flops_amount,
+ std::vector<double>&& bytes_amount, void* data)
: Task(std::move(name), 1.0, 0, data)
{
parallel_ = true;