Yes, but…
That 
But these are bugs, so they don’t really count.
Uniformity analysis is not about performance but consistency.
Excerpt from the spec:
To ensure correct and portable behavior, a WGSL implementation will perform a static uniformity analysis, attempting to prove that each collective operation executes in uniform control flow. Subsequent subsections describe the analysis.
“correct” and “portable” are the key words here.