Lazy initialization of function arguments and variables marked as 'extern' #17
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
capsosk
changed the title
capsosk
force-pushed
the
lazy-init
branch
3 times, most recently
from
c9c8f18 to
e00819a
Compare
capsosk
force-pushed
the
lazy-init
branch
5 times, most recently
from
b3a5afe to
8f0319e
Compare
added missing return after state termination removed unnecessary comments
previously, only pointers were allowed. This is now improved and values work as well
This makes them show up in ktest files
also remove unnecessary comment
This happens when the function is not ran from main, the variable is not a constant (it is default initialized) and -lazy-init is defined.
capsosk
changed the title
Fix comparison with function ptr
if the value can be solved, use it for the external call fixup! fix some external calls with symbolic values
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
No description provided.