Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
OTAWA-plugins
Polymalys
Commits
3f51ed94
Commit
3f51ed94
authored
May 27, 2020
by
Ballabriga Clément
Browse files
Adapted to work with public version of otawa
parent
7fb2238d
Changes
1
Hide whitespace changes
Inline
Side-by-side
poly_PolyAnalysis.cpp
View file @
3f51ed94
...
...
@@ -413,7 +413,7 @@ void PolyAnalysis::PseudoTopoOrder::_topoNodeHelper(const ai::CFGGraph &graph, B
return
;
for
(
ai
::
CFGGraph
::
Predecessor
e
(
graph
,
end
);
e
();
e
++
)
{
if
(
!
BACK_EDGE
(
e
->
source
()
))
if
(
!
BACK_EDGE
(
*
e
))
_topoNodeHelper
(
graph
,
e
->
source
());
}
...
...
@@ -437,7 +437,7 @@ void PolyAnalysis::PseudoTopoOrder::_getPseudoTopo(const ai::CFGGraph &graph) {
for
(
ai
::
CFGGraph
::
Iterator
it
(
graph
);
!
it
.
ended
();
it
++
)
{
bool
hasNonBackEdges
=
false
;
for
(
ai
::
CFGGraph
::
Successor
e
(
graph
,
(
*
it
));
!
e
.
ended
()
&&
!
hasNonBackEdges
;
e
++
)
{
if
(
!
BACK_EDGE
(
e
->
sink
()
))
if
(
!
BACK_EDGE
(
*
e
))
hasNonBackEdges
=
true
;
}
if
(
!
hasNonBackEdges
)
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment