Skip to content

Commit

Permalink
(Jovial) Const function used for item size
Browse files Browse the repository at this point in the history
- Fixed by adding case of a variable having a symbol type of
  isSgTypedefSymbol(symbol) in traverse_Variable.

GL-220
  • Loading branch information
rasmussn committed Apr 20, 2023
1 parent 614a269 commit c7bbbbd
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -6219,7 +6219,7 @@ ATbool ATermToSageJovialTraversal::traverse_Variable(ATerm term, SgExpression* &
sage_tree_builder.Leave(func_call);
var = func_call;
}
else if (isSgClassSymbol(symbol)) {
else if (isSgClassSymbol(symbol) || isSgTypedefSymbol(symbol)) {
var = SageBuilder::buildTypeExpression(symbol->get_type());
}
// This probably should be "else" rather than "else if" but want to know what symbols are used
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -240,6 +240,7 @@ JOVIAL_TESTCODES = \
gitlab-issue-207.jov \
gitlab-issue-208.jov \
gitlab-issue-217.jov \
gitlab-issue-220.jov \
charlie.jov \
shadow.jov \
comments.jov \
Expand Down

0 comments on commit c7bbbbd

Please sign in to comment.