Handle intrinsic import #243
Closed
Conversation
This file contains hidden or 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
When a subprogram is imported with the convention Intrinsic, the subprogram is built into the compiler and does not signify a multi-language program.
|
|
||
| I : Integer := 1; | ||
| begin | ||
| I := -I; |
There was a problem hiding this comment.
What is this for?
There was a problem hiding this comment.
It calls the intrinsic function "-"
| @@ -4814,8 +4814,40 @@ package body Tree_Walk is | |||
| -- be called from Ada, or a foreign-language variable to be | |||
| -- accessed from Ada. This would (probably) require gnat2goto to | |||
| -- understand the foreign code, which we do not at the moment. | |||
There was a problem hiding this comment.
FWIW this bit isn't actually true anymore; Since we now support linking of symtab files we can actually do a multi language analysis just fine, we just have to make sure the name of the functions match.
NlightNFotis
approved these changes
Jun 3, 2019
gnat2goto/driver/tree_walk.adb
Outdated
| -- can safely ignore the pragma. | ||
| declare | ||
| -- If the pragma is specified with positional parameter | ||
| -- association, then the calling convetion is the first |
There was a problem hiding this comment.
small typo here "convention"
|
On Fri, 2019-05-31 at 09:11 -0700, hannes-steffenhagen-diffblue wrote:
@@ -4814,8 +4814,40 @@ package body Tree_Walk is
-- be called from Ada, or a foreign-language variable
to be
-- accessed from Ada. This would (probably) require
gnat2goto to
-- understand the foreign code, which we do not at the
moment.
FWIW this bit isn't actually true anymore; Since we now support
linking of symtab files we _can_ actually do a multi language
analysis just fine, we just have to make sure the name of the
functions match.
Hannes is right; it would not necessarily require gnat2goto
understanding the other language. However I also wouldn't say we can
yet do multi-language analysis as this will also require some work on
calling conventions and how variables and types are mapped between the
two.
We have a *route* to supporting multi-language analysis via separate
compilation and linking but we have not yet developed it.
|
|
I have rebased this to diffblue/master |
Merged
|
Supreceeded by #251 |
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.
A pragma Import with the convention Intrinsic does not signify a multi language program. Intrinsic convention is used to indicate a subprogram built in to the Ada compiler. It can be safely ignored by gnat2goto but it will not necessarily have a body in the translated code.