Skip to content
Snippets Groups Projects
Commit ad8ca1d9 authored by Ballabriga Clément's avatar Ballabriga Clément
Browse files

prevent crash in livenesschecker configure whenever passed workspace is null

parent e08e7386
No related branches found
No related tags found
No related merge requests found
......@@ -61,8 +61,10 @@ LivenessChecker::LivenessChecker(AbstractRegistration& _reg) : otawa::Processor(
void LivenessChecker::configure(const PropList &props) {
Processor::configure(props);
_debugLevel = LIVENESS_DEBUG_LEVEL(props);
if (workspace() != nullptr) {
LIVENESS_DEBUG_LEVEL(workspace()) = _debugLevel;
}
}
/**
* @class LivenessChecker
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment