Aß
спасибо, в конфиг пока будет достаточно добавить
(require 'project)Size: a a a
2021 November 09
MB
спасибо большое!
ДП
странно что рекваир не делается в пекиче
ДП
у тебя там не doom какой-нибудь или спейс? Может они намуту шонить
Aß
Йонас тоже любитель неоднозначных решений
MB
нет, своя сборка на основе нано
MB
магит ставится вообще без каких-либо настроек:
(use-package magit
:straight t)
Aß
90% это косяк магита, он кривовато интегрируется с project
MB
я вроде не юзаю проджект, пытаюсь пользовать projectile
Aß
а какая версия магита?
MK
Интересно есть ли способ программно выявить участки кода с неопределённым поведением, не заучивать же стандарт
ДП
Статический анализатор есть
A
ну тут эта, может быть беда
A
int func(int a, int b) {
return a + b;
}MB
Magit v3.3.0-32-g473fc7ac, Git 2.30.1 (Apple Git-130), Emacs 27.2, darwin
A
для ситуации, когда у тебя в коде все обращения к этой функции не вызывают целочисленного переполнения, все ок, UB нету. А если ты где-то когда-то напишешь func(INT_MAX, INT_MAX), то это UB.
A
но в этом случае в описании функции может быть сказано об этом.
A
и мы говорим, что UB не в функции, а в том месте, где ее вызвали.
A
но чтобы это знать, надо знать о том, что эта функция делает.
A
поэтому статический анализатор должен не просто смотреть в код, но и анализироать execution paths