Navigation: Linux Kernel Driver DataBase - web LKDDB: Main index - U index
The Linux kernel configuration item CONFIG_UBSAN_DIV_ZERO
:
($( CONFIG_cc-option,-fsanitize = CONFIG_integer-divide-by-zero )) && (! CONFIG_CC_IS_CLANG )
This option enables -fsanitize=integer-divide-by-zero which checks for integer division by zero. This is effectively redundant with the kernel's existing exception handling, though it can provide greater debugging information under UBSAN_REPORT_FULL.
Raw data from LKDDb:
(none)
This page is automaticly generated with free (libre, open) software lkddb(see lkddb-sources).
The data is retrived from:
Popular queries:
Navigation: Linux Kernel Driver DataBase - web LKDDB: main index - U index
Automatically generated (in year 2024). See also LKDDb sources on GitLab