------- Comment #8 from mikael at gcc dot gnu dot org 2010-08-17 18:21 ------- (In reply to comment #7) > Tobias (and all): Do you think we should check for "the size of data-target > shall not be less than the size of data-pointer-object" at runtime when > -fcheck=bounds is given? >
Yes. The existing bounds-check code checks that we don't access an array beyond what its descriptor permits. We have to check that we don't create a descriptor that has bounds beyond the array limits, thus by-passing the bounds-check code. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29785
