A symbol is missing in inherited dependencies about kconfiglib HOT 4 CLOSED

Hello,

referenced isn't transitive. It only includes "direct" references.

The reason dependencies from surrounding ifs and menus count as direct references has to do with dependency propagation. Basically, if FOO is just a shorthand for adding depends on FOO to each item within the if, and a depends on on a menu also gets propagated to all the items in it.

These two ways of defining two symbols A and B are equivalent:

With if:

if B

config A
	bool

endif

if C

config B
	bool

endif

With depends on:

config A
	bool
	depends on B

config B
	bool
	depends on C

In both cases, A ends with just B in referenced, and B ends up with just C.

To get transitive references, you'll have to calculate the transitive closure (I think that's the term...), recursively expanding the .referenced until no new symbols appear.

If you're only interested in the direct dependencies of a symbol (its depends on, possibly inherited), have a look at Symbol.direct_dep btw. You can extract all the symbols in it with the global expr_items() function.

from kconfiglib.

Ah, OK, I see. Maybe it makes sense to mention this in the documentation? The word inherited seems confusing to me here. Thanks!

from kconfiglib.

Clarified the docstring and added some more details in 814e2de. Does it look okay?

from kconfiglib.

Looks good, thanks you!

from kconfiglib.