Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Validate types of instructions in constant expressions #430

Merged
merged 4 commits into from
Jul 22, 2020

Conversation

gumb0
Copy link
Collaborator

@gumb0 gumb0 commented Jul 21, 2020

Type mismatch when constant expression uses global.get looks to be not covered by spec tests (passed tests don't change here when I disable it).

@gumb0 gumb0 force-pushed the validate-types-const-expr branch from f70e355 to 92938dc Compare July 21, 2020 11:45
@codecov
Copy link

codecov bot commented Jul 21, 2020

Codecov Report

Merging #430 into master will increase coverage by 0.00%.
The diff coverage is 100.00%.

@@           Coverage Diff           @@
##           master     #430   +/-   ##
=======================================
  Coverage   99.32%   99.32%           
=======================================
  Files          50       50           
  Lines       13992    14075   +83     
=======================================
+ Hits        13897    13980   +83     
  Misses         95       95           

@gumb0 gumb0 marked this pull request as ready for review July 21, 2020 13:45
@gumb0 gumb0 requested review from chfast and axic July 21, 2020 15:47
@gumb0 gumb0 force-pushed the validate-types-const-expr branch 2 times, most recently from 1305ce0 to 4909d2e Compare July 22, 2020 13:13
@axic
Copy link
Member

axic commented Jul 22, 2020

I think it is a bit confusing that "constant constant expression" are validated in parse_constant_expression and global-based ones in validate_constant_expression. I think we should consider refactoring this, but for now it is fine.

@gumb0 gumb0 force-pushed the validate-types-const-expr branch from 4909d2e to e9d79c3 Compare July 22, 2020 14:04
@gumb0 gumb0 merged commit 998588b into master Jul 22, 2020
@gumb0 gumb0 deleted the validate-types-const-expr branch July 22, 2020 14:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants