Do not auto-extend binary bit sizes

Bug #1669969 reported by edA-qa
6
This bug affects 1 person
Affects Status Importance Assigned to Milestone
Leaf
New
Undecided
Unassigned

Bug Description

To be safe when working with binary types they should never unify with other operands but be strictly the one size.

https://mortoray.com/2017/03/02/the-bitwise-complement-or-not-operator-is-unsafe/

Tags: semantics
To post a comment you must log in.
This report contains Public information  
Everyone can see this information.

Other bug subscribers

Remote bug watches

Bug watches keep track of this bug in other bug trackers.