As already discussed here integral promotion rules can cause headaches in some cases (especially for arithmetic operations between signed and unsigned types). At the end of this answer there is a link to a proposal. However that proposal is from 2012 and I don't know if it was even submitted.
Are there any active proposals or plans to change integral promotion rules to something like the next higher ranked signed type that can hold the value range of the promoted type? I know this causes inconsistency as unsigned long long cannot be promoted to any higher ranked type. This isn't a perfect solution but wouldn't it be at least better than the current situation?