Christopher Smith wrote:
Doesn't matter. All it needs to prove to itself is that it is impossible
for the test to fail.

Well, yes, obviously.

Right, but if you overload operator[] to do bounds checking on the
array, and you get array_size from the same original source that
operator[] checks against, the compiler will recognize the operation is
redundant and remove it.

Hmmm... Maybe, yah. I suspect you'd still have to inline both of those for that to work.

--
  Darren New / San Diego, CA, USA (PST)
    His kernel fu is strong.
    He studied at the Shao Linux Temple.

--
[email protected]
http://www.kernel-panic.org/cgi-bin/mailman/listinfo/kplug-lpsg

Reply via email to