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
pub
frama-c
Commits
a0ce5873
Commit
a0ce5873
authored
Mar 04, 2019
by
David Bühler
Browse files
[Ival] Replaces Obj.truncate by Array.sub.
Fixes #613.
parent
a8318b99
Changes
1
Hide whitespace changes
Inline
Side-by-side
src/kernel_services/abstract_interp/int_set.ml
View file @
a0ce5873
...
...
@@ -154,11 +154,7 @@ let truncate_no_bottom r i =
assert
(
i
>
0
);
if
i
=
1
then
inject_singleton
r
.
(
0
)
else
begin
(
Obj
.
truncate
(
Obj
.
repr
r
)
i
);
assert
(
Array
.
length
r
=
i
);
r
end
else
Array
.
sub
r
0
i
let
truncate_or_bottom
r
i
=
if
i
=
0
then
`Bottom
else
`Value
(
truncate_no_bottom
r
i
)
...
...
Write
Preview
Markdown
is supported
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