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
Dr. Michael Petter
LLVM-abstractinterpretation
Commits
245d23fb
Verified
Commit
245d23fb
authored
Mar 06, 2020
by
Tim Gymnich
Browse files
fixed type name
parent
b6291fce
Changes
1
Hide whitespace changes
Inline
Side-by-side
src/fixpoint.cpp
View file @
245d23fb
...
...
@@ -255,7 +255,7 @@ void executeFixpointAlgorithm(Module const& M) {
changed
=
true
;
}
else
{
//update callee
NormalizedConjunction
before
=
nodes
[
callee_element
].
state
;
AbstractState
before
=
nodes
[
callee_element
].
state
;
// Collect all basic blocks of callee_func
for
(
po_iterator
<
BasicBlock
const
*>
I
=
po_begin
(
&
callee_func
->
getEntryBlock
()),
...
...
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