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
f5c9ca1d
Commit
f5c9ca1d
authored
Oct 15, 2020
by
Allan Blanchard
Browse files
[wp] Clarifies Sigs.CodeSemantics.init doc
parent
68e3b43a
Changes
1
Hide whitespace changes
Inline
Side-by-side
src/plugins/wp/Sigs.ml
View file @
f5c9ca1d
...
...
@@ -612,8 +612,10 @@ sig
Remark: [None] initializer are interpreted as zeroes. This is consistent
with the [init option] associated with global variables in CIL,
for which the default initializer are zeroes. There is no
[init option] value associated with local initializers.
for which the default initializer are zeroes. This function is called
for global initializers and local initializers ([Cil.Local_init]).
It is not called for local variables without initializers as they do not
have a [Cil.init option].
*)
end
...
...
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