linux/scripts/kconfig/tests/choice_randomize2/Kconfig

choice
	prompt "This is always invisible"
	depends on n

config DUMMY
	bool "DUMMY"

endchoice

choice
	prompt "Choose A or B"

config A
	bool "A"

config B
	bool "B"

endchoice

config FOO
	bool "FOO"
	depends on A

choice
	prompt "Choose X"
	depends on FOO

config X
	bool "X"

endchoice
kconfig: tests: test dependency after shuffling choices Commit c8fb7d7e48d1 ("kconfig: fix broken dependency in randconfig- generated .config") fixed the issue, but I did not add a test case. This commit adds a test case that emulates the reported situation. The test would fail without c8fb7d7e48d1. To handle the choice "choose X", FOO must be calculated beforehand. FOO depends on A, which is a member of another choice "choose A or B". Kconfig _temporarily_ assumes the value of A to proceed. The choice "choose A or B" will be shuffled later, but the result may or may not meet "FOO depends on A". Kconfig should invalidate the symbol values and recompute them. In the real example for ARCH=arm64, the choice "Instrumentation type" needs the value of CPU_BIG_ENDIAN. The choice "Endianness" will be shuffled later. Signed-off-by: Masahiro Yamada <masahiroy@kernel.org> 2024-03-21 01:52:11 +09:00			`choice`
			`prompt "This is always invisible"`
			`depends on n`

			`config DUMMY`
			`bool "DUMMY"`

			`endchoice`

			`choice`
			`prompt "Choose A or B"`

			`config A`
			`bool "A"`

			`config B`
			`bool "B"`

			`endchoice`

			`config FOO`
			`bool "FOO"`
			`depends on A`

			`choice`
			`prompt "Choose X"`
			`depends on FOO`

			`config X`
			`bool "X"`

			`endchoice`