Analyse et explore linux
Component KCSAN_IGNORE_ATOMICS

Component Type: kbuild config

Description: Do not instrument marked atomic accesses

More info: Never instrument marked atomic accesses. This option can be used for additional filtering. Conflicting marked atomic reads and plain writes will never be reported as a data race, however, will cause plain reads and marked writes to result in "unknown origin" reports. If combined with CONFIG_KCSAN_REPORT_RACE_UNKNOWN_ORIGIN=n, data races where at least one access is marked atomic will never be reported. Similar to KCSAN_ASSUME_PLAIN_WRITES_ATOMIC, but including unaligned accesses, conflicting marked atomic reads and plain writes will not be reported as data races; however, unlike that option, data races due to two conflicting plain writes will be reported (aligned and unaligned, if CONFIG_KCSAN_ASSUME_PLAIN_WRITES_ATOMIC=n).

Build project: Kconfig (Linux kconfig) (Path: Kconfig )

Other views: file explorer

Generated by PFA software prototype