AN
К чему ведешь? я прикладной код пишу у меня нету таких проблем, так что ничего не знаю)
Size: a a a
2021 May 01
EG
R
Ok, give me some C code to execute
EG
#include <stdio.h>
int main(void) {
size_t one = 1;
// Totally not a constant
void* zero = (void*) (one - one);
printf("%d", zero == NULL);
return 0;
}
int main(void) {
size_t one = 1;
// Totally not a constant
void* zero = (void*) (one - one);
printf("%d", zero == NULL);
return 0;
}
R
Result:
Note:
1
Note:
gcc assumed, other valid options are clang, visual_c, you can be more specific next time.
EG
Поинтер
Поинтер
Соответственно, они должны compare unequal.
zero точно не NULL, потому что не получен из constant value.Поинтер
NULL точно NULL по стандарту.Соответственно, они должны compare unequal.
EG
Автохуй.
EG
Ты получил поинтер неожиданным для компилятора способом — ты сосёшь.
B
стой а откуда он точно не NULL
EG
Потому что NULL должен быть получен из constant value zero.
EG
А он получен из вполне динамического zero.
B
а где это сказано?
EG
Более того, есть валидные юзкейсы в ядре для не-нулевого поинтера равного нулю.
AN
смотря как прочесть.
EG
Стандарт C99, 6.3.2.3.3
B
не распарсил
EG
В ядре реально есть места, где используется поинтер, который побитово равен нулю и при этом валиден.
EG
Более того,
mmap() умеет порождать такой поинтер.EG
Поинтер, который на самом деле невозможен на линуксе это
usize::MAXAN
компилер доказал что там всегда ноль вот и всё.