https://sqlite.org/testing.html says: > Examples of undefined and implementation-defined behavior in ANSI C include: > > * Shifting an N-bit integer by more than N bits. While the above excerpt is correct as being an example and therefore not covering all cases, it would sound more precise to state: > * Shifting an N-bit integer by N or more bits. See C11, 6.5.7p3.