[sp332]

The Linux kernel is using this for bounds checking. https://news.ycombinator.com/item?id=28015263

[ufo]

Like the parent poster, when I read the article I assumed that there was no conceivable reason to ever use this feature in a real C program. Let me just say that I'm pleasantly surprised to be proven wrong!