Форум программистов [Powered by Invision Power Board]

Версия для печати темы
Нажмите сюда для просмотра этой темы в оригинальном формате

Форум программистов > C/C++: Программирование под Unix/Linux > gcc -fbounds-checking

Автор: leniviy 24.8.2012, 11:09

Привет. Эта программа вылезает за пределы массива:

Код


#include <stdio.h>

int main() {
    char s2[8], s1[8];
    printf("%p, %p\n", s1, s2);
    printf("%lld\n", (long long)(s2 - s1));
    sprintf(s1, "%010d", 0);
    printf("%s\n", s2);
    return 0;
}

Код


$ gcc -fbounds-checking -o test test.c && ./test
0x28ac58, 0x28ac60
8
00

Я хочу, чтобы программа падала с подробной ошибкой. Я думал, что -fbounds-checking именно для этого.

Автор: boostcoder 24.8.2012, 13:41

это не тот случай где компилятор может проверить выход за границы массивов.

http://williambader.com/bounds/example.html пример демонстрирующий возможности компилятора в этом плане.

Автор: leniviy 24.8.2012, 15:26

Эти патчи не включены в официальный gcc ?

Автор: boostcoder 24.8.2012, 22:59

хм...

Добавлено через 8 минут и 4 секунды
да, это нестандартное расширение и оно не входит в gcc по умолчанию.

Добавлено через 12 минут и 43 секунды

Цитата(leniviy @ 24.8.2012, 11:09

)

$ gcc -fbounds-checking -o test test.c && ./test

странно... а мне компилятор говорит:

Цитата

gcc: error: unrecognized command line option '-fbounds-checking'

Автор: leniviy 2.9.2012, 17:55

Удалось собрать bgcc под линукс. Разбираюсь.
Доступ к массивам проверяется, дереференс указателя на элемент массива не проверяется.
с++'а нет.

Автор: leniviy 2.9.2012, 18:30

Цитата(leniviy @ 2.9.2012, 17:55

)

дереференс указателя на элемент массива не проверяется.

Вообще-то проверяется, но по-хитрому:
указатель на член структуры не дает ошибки, если он указывает на другой член структуры.