Static analysis was always possible, dynamic isn't if you want to remain standard-compliant and overflow is defined. That being said I think it's a rather weak

Static analysis was always possible, dynamic isn't if you want to remain standard-compliant and overflow is defined. That being said I think it's a rather weak justification for making overflow UB, after all if you want to trap on overflows wouldn't want to catch unsigned overflow as well?