Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
clean-and-itasks
sapl-interpreter
Commits
7285c2ff
Commit
7285c2ff
authored
Jan 04, 2016
by
Laszlo Domoszlai
Browse files
fix bug
parent
4ac88b5e
Changes
2
Hide whitespace changes
Inline
Side-by-side
interpreter/code.c
View file @
7285c2ff
...
...
@@ -364,14 +364,19 @@ void exec(Code* expr, int frame_ptr, int root_frame_ptr)
Thunk
*
thunk
=
get_dst
(
root_frame_ptr
);
int
newsize
=
slice
->
thunk_size
;
if
(
thunk
!=
NULL
&&
thunk
->
desc
->
thunk_size
<
newsize
)
{
if
(
thunk
==
NULL
)
{
thunk
=
(
Thunk
*
)
alloc_heap
(
newsize
);
set_return
(
root_frame_ptr
,
thunk
);
}
else
if
(
thunk
->
desc
->
thunk_size
<
newsize
)
{
Thunk
*
target
=
thunk
;
thunk
=
(
Thunk
*
)
alloc_heap
(
newsize
);
target
->
desc
=
(
Desc
*
)
__FORWARD_PTR__
;
target
->
_forward_ptr
=
thunk
;
set_return
(
root_frame_ptr
,
thunk
);
}
thunk
->
desc
=
slice
;
assert
(
thunk
->
desc
->
arity
==
(
*
bt
)
->
desc
->
arity
+
expr
->
nr_args
);
...
...
tests/
broken
/Clausify.sapl
→
tests/
postponed
/Clausify.sapl
View file @
7285c2ff
File moved
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new 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