TCC doesn't do any optimization at all, so it shouldn't be that perplexing.

But any compiler that does constant propagation, inlining and (ideally) integer range analysis can optimize away most run-time bounds-checks already. If GCC or clang did it, it would probably be fast enough.