Skip to content

Fix #960 ushr get type#972

Merged
swissiety merged 4 commits intodevelopfrom
fix/960_UshrGetType
Jul 8, 2024
Merged

Fix #960 ushr get type#972
swissiety merged 4 commits intodevelopfrom
fix/960_UshrGetType

Conversation

@swissiety
Copy link
Copy Markdown
Collaborator

closes #960

final PrimitiveType.FloatType aFloat = PrimitiveType.getFloat();
if (op1t == aFloat || op2t == aFloat) {
return aFloat;
}
Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

We should name the other types doubleType and floatType as well, just to stay consistent.
Also, are you sure that == is sufficient here? The types are not implemented as enums.

Copy link
Copy Markdown
Collaborator Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

but as singletons - on the other hand in theory someone could subclass them..

@swissiety swissiety merged commit 4e33adf into develop Jul 8, 2024
@swissiety swissiety deleted the fix/960_UshrGetType branch July 8, 2024 09:56
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.

[Bug]: Potential Issue in getType Method of JUshrExpr.java

2 participants