[
https://issues.apache.org/jira/browse/DAFFODIL-3049?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=18032840#comment-18032840
]
Mike Beckerle commented on DAFFODIL-3049:
-----------------------------------------
The offending logic is in `DFDLXBitBinaryExpr`. It needs to check for common
signedness, and then choose as the inferred type the larger of the two integer
types.
> bitAnd, bitOr, bitXor args not properly restricted
> --------------------------------------------------
>
> Key: DAFFODIL-3049
> URL: https://issues.apache.org/jira/browse/DAFFODIL-3049
> Project: Daffodil
> Issue Type: Bug
> Components: Middle "End"
> Affects Versions: 4.0.0
> Reporter: Mike Beckerle
> Assignee: Mike Beckerle
> Priority: Major
> Fix For: 4.1.0
>
>
> These are not well defined if one arg is signed and the other unsigned.
> It should be an SDE if both args do not have the same signedness.
--
This message was sent by Atlassian Jira
(v8.20.10#820010)
