"Fossies" - the Fresh Open Source Software Archive  

Source code changes of the file "src/Rose/BinaryAnalysis/Concolic/InputVariables.C" between
rose-0.11.49.0.tar.gz and rose-0.11.50.0.tar.gz

About: ROSE is a compiler infrastructure to build source-to-source program transformation and analysis tools for large-scale C, C++, UPC, Fortran, OpenMP, Java, Python and PHP applications.

InputVariables.C  (rose-0.11.49.0):InputVariables.C  (rose-0.11.50.0)
skipping to change at line 83 skipping to change at line 83
if (variable->comment().empty()) { if (variable->comment().empty()) {
variable->comment(event->name()); variable->comment(event->name());
} else if (event->name().empty()) { } else if (event->name().empty()) {
event->name(variable->comment()); event->name(variable->comment());
} }
variables_.insert(*variable->variableId(), event); variables_.insert(*variable->variableId(), event);
} }
void void
InputVariables::insertSharedMemoryRead(const ExecutionEventPtr &event, const Sym
bolicExpr::Ptr &variable) {
ASSERT_not_null(event);
ASSERT_require(event->inputType() == InputType::NONE);
ASSERT_not_null(variable);
ASSERT_require(variable->isVariable2());
event->inputType(InputType::SHARED_MEMORY_READ);
event->inputVariable(variable);
if (variable->comment().empty()) {
variable->comment(event->name());
} else if (event->name().empty()) {
event->name(variable->comment());
}
variables_.insert(*variable->variableId(), event);
}
void
InputVariables::insertEvent(const ExecutionEventPtr &event) { InputVariables::insertEvent(const ExecutionEventPtr &event) {
ASSERT_not_null(event); ASSERT_not_null(event);
ASSERT_forbid(event->inputType() == InputType::NONE); ASSERT_forbid(event->inputType() == InputType::NONE);
SymbolicExpr::Ptr variable = event->inputVariable(); SymbolicExpr::Ptr variable = event->inputVariable();
ASSERT_not_null(variable); ASSERT_not_null(variable);
ASSERT_require(variable->isVariable2()); ASSERT_require(variable->isVariable2());
ASSERT_forbid(event->name().empty()); ASSERT_forbid(event->name().empty());
variables_.insert(*variable->variableId(), event); variables_.insert(*variable->variableId(), event);
} }
 End of changes. 1 change blocks. 
0 lines changed or deleted 19 lines changed or added

Home  |  About  |  Features  |  All  |  Newest  |  Dox  |  Diffs  |  RSS Feeds  |  Screenshots  |  Comments  |  Imprint  |  Privacy  |  HTTP(S)