[Bug c/83407] Warn about unsigned size_t underflow

[jg at jguk dot org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83407

--- Comment #2 from Jonny Grant <jg at jguk dot org> ---
Hello Richard

Static analysis could spot this example case?

Is there a legitimate case?

I can only think of something like this with a cast :-

size_t max_val = (size_t)-1;