Const значение в rodata

https://www.linux.org.ru/help/markdown

Осиль описание разметки, прежде чем что-либо писать.

Код должен выглядеть вот так:

int main(void) {
  printf("Пиши нормально!\n");
}

Уже заметил, исправил.

Пробовал проверять на Clang?

Не делать value константным? Искренне Ваш, Кэп.

не размещается в секции rodata

Проблема не в этом, а в том что ты лепишь UB.

Неа, у меня больше академический интерес, проверял только здесь: https://www.onlinegdb.com/online_c_compiler. Вообще, пишут, что const проверяется только во время компиляции, а в рантайме нет, хотя иногда компилятор размещает const переменные в секции rodata, а иногда нет, как сейчас, интересует когда он это делает, а когда нет.

Так а что странного? Тут явно используется приведение к указателю (без константности) и присваивание значения по этому указателю. Неопределенное поведение на то и неопределенное, что хз, как оно будет себя вести.

Но вот здесь же C with C++, static non-const, void* casts, segfault Компилятор разместил const значение в секции rodata, пробовал использовать static, но тогда программа выводит только одно значение и завершается без ошибок. Так можно это ub избежать?

Никак в стандарте черным по белому написано, то изменение const приводит к UB. А про rodata стандарт ничего не говорит, это компиляторы, поэтому если хочешь ответа на свой вопрос, то смотри документацию к компилятору, причем к своей версии.

Ясно, спасибо.

Не понял про static - что именно ты пробовал?

Что касается примера, то у тебя переменная локальная - она не в секции а в стеке.

Если ты не заметил, он про компилятор и спрашивал. Зачем ты какие-то стандарты приплёл?

Проверил на godbolt. clang выбросил эту переменную, заинлайнил значение 111 в первый и второй printf и выбросил присваивание.

В принципе всё правильно сделал на мой взгляд.

Поэтому конкретизируй, чего ты хочешь добиться.

Если отвечать на конкретно твой вопрос, можно попробовать так сделать:

#include <stdio.h>

int main(void) {
    __attribute__((section(".rodata")))
    static int value = 111;
    printf("init value: %d\n", value);
    *((int*) &value) = 222;
    printf("new  value: %d\n", value);
    return(0);
}

Уж не знаю, зачем тебе это надо.

Проверил на godbolt.

Опередил меня… 😊

https://godbolt.org/z/nooh65avE

Ещё поведение в таких случаях может зависеть от уровня оптимизации.

Оно много от чего зависит, еще от того как ты меняешь этот const, через передачу указателя на этот const в функцию или как ТС. Я сообразительным студентам давал такие задания типа «найди ошибку», для выработки навыка «не писать мудацкий код».

скалярные константы компилятор вообще нигде не обязан размещать. он их подставляет там, где они используются. структурные константы, например си строки и проч, он будет размещать в ro секции.

зачем компилятору тратить память задачи, если он может просто подставить 111 там, где оно используется.

Чтобы поместить переменную в определённую секцию, нужно либо использовать __attribute__ ((section("..."))) (https://gcc.gnu.org/onlinedocs/gcc/extensions-to-the-c-language-family/specifying-attributes-of-variables.html#var-attr-section-section-name), либо писать на (inline) ассембелере. На уровне языков C и C++ никаких секций не существует, это детали реализации конкретной платформы.

Правильный способ проверки, в какую секцию компилятор помещает значение — написать минимальный корректный (без UB и прочей жести) пример кода и дизассемблировать бинарник.

Местные хакиры исходят на говно когда шланг так обращается с UB.

так оно на то и UB, что можно высирать любую дичь вместо бинарика, а потом какирам жопы будет рвать.

вообще нигде не обязан размещать

Достаточно отдать адрес в любую функцию / метод определённые в другом TU.

Попробуй с -fsanitize=undefined -fsanitize=address собрать.
это конечно не rodata, но проверять доступ в рантайме будет

Компилятор разместил const значение в секции rodata

Конкретная версия конкретного компилятора с конкретными флагами на конкретном процессоре. Никаких гарантий как это будет работать если что-то изменится нет. Что тебе непонятно в фразе UB?

А еще можно хер себе дверью специально прищемить и потом всем рассказывать про неправильные двери. © Sun-ch

А как определить, есть ли в программе UB? Учитывая, что переполнение int потенциально возможно в большинстве программ, то и UB присутствует в них. И компилятор может с полным правом сделать любую дичь, если где-то в коде есть (x + 1) для int?

А есть более-менее полный список UB? https://en.cppreference.com/w/cpp/language/ub дает весьма куцый список примеров.

А как определить, есть ли в программе UB?

Статическим анализом? Смеётесь?

Попробуй static const, а не просто const. Переменная у тебя, конечно const, но по идее она так же на стеке размещается (если компилятор не будет делать оптимизации и просто инлайнить её значение по месту использования). То что размещено на стеке попасть в rodata никак не может.

А как определить, есть ли в программе UB? Учитывая, что переполнение int потенциально возможно в большинстве программ, то и UB присутствует в них. И компилятор может с полным правом сделать любую дичь, если где-то в коде есть (x + 1) для int?

Ну не любую, изменения int x=0xEFFFFFFF; x++ ограничены storage x (областью хранения x). А для unsigned int overflow не бывает, т.к. все вычисления делаются по модулю.

А есть более-менее полный список UB?

Сам по себе список в отрыве от контекста бессмысленен и непонятен. Все перечислено в стандарте.

И компилятор может с полным правом сделать любую дичь, если где-то в коде есть (x + 1) для int?

Только в той ветке, где есть переполнение.

Например, есть код for(int i = x; i < x + 10; i++) .... Компилятор вправе заменить на повторение 10 раз. Потому что либо x + 10 переполнения не вызывает и тогда будет 10 повторов, либо переполнение (из-за которого, по идее, цикл вообще ни разу не выполнится) = UB и можно делать что угодно.

Создай строку размером в инт и кастани её, лол. Или глобальную экспортируемую переменную попробуй создать.

Переменная int value размещена на стеке функции main(), поэтому const будет отрабатываться софтверно во время выполнения программы, тем кодом, который сгенерирует компилятор.

В секцию можно помещать только переменные, которые размещаются статически (перед нчалом выполнения программы), например, загрузчиком приложения. Поэтому, вынеси переменную за пределы main() или напиши перед ней ключевое слово static (оно неявно сделает то же самое, поместит value в статическую область приложения).

Когда время жизни статическое, емнип. Добавь static и/или сделай глобальным. Хотя статик не поможет: внутри функции инициализация при первом обращении. Всё глобальное или уровня единицы трансляции имеет один адрес и может поместиться внутрь секции. Для .bss всё аналогично.