Русский комментарий можно увидеть издалека)))⁠⁠

это легальная конструкция (привет do { } while(1) в макросах)

Речь была про if. На if (true/false) компиляторы вполне себе ругаются без всякого стат. анализа ибо смысла в таких конструкциях нет и проверить их нетрудно. do { } while(10) - да, часто используется в сишке чтобы несколько команд завернуть в один макрос, либо в качестве костыля - замены try/catch (если много ошибок может возникнуть в коде, который должен за собой какие-то ресурсы освобождать - то этот кидающийся ошибками код оборачивается в ту конструкцию и тогда в случае ошибки можно брякнуть этот вайл, и ресурсы, таким образом, освобождать только 1 раз после ду-вайла).

речь не про это, а про то, что ошибка всегда будет в одном и том же месте в одно и то же вермя, нет рандомности,

Суть же не только в том, чтобы ошибка в разное время возникала. К тому-же, если в макросе с рандомом не сбрасывать сид, то возникать все будет тоже в одних и тех же местах.

Главная проблема с __LINE__ конструкцией будет в том, что в 90% попыток с дебаггером выяснить, почему все не работает, после того, как дебагер зайдет внутрь ифа, в который он не должен заходить, я (и думаю, не я один) первым делом кинулся бы проверять правильность условия путем ввода поп. переменных или чего-то подобного, тем самым сдвигая код с ифом ниже и переводя его рабочее состояние.

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

А с рандомом, как раз, контора спалиться может даже легче, т.к. rand() - это вызов функции и тот факт, что дебагер на кадом ифе будет задерживаться на 2 шага, а если со step in-ом, то вообще прыгать в ебеня stdlib будет довольно палевным.

а вообще я не знаю в каких условиях это может прокатить, самая простая ide спалит подсветкой, не то что уж код ревью

Ну так то, подсветкой любые шаманства с макросами спалятся на раз-два, я об этом в самом первом комменте писал) Разве что подменять какие-то другие макросы можно, но тут особо не повеселишься.

в Java это System.gc(), причем он по пинку ничего не собирает, согласно спецификации он всего лишь повышает приоритет сборки мусора среди прочих операций, но ничего не гарантирует.