question about is_reentrant function

[Tonyrj3268]

HI, I'm studying your code to better understand this tool.

While reviewing the is_reentrant property method, I noticed a behavior that I find curious.
Specifically, I know that under certain conditions, the function returns True. But, my understanding is that if a function is neither public nor external, and it also does not have any external entry points, it should not be susceptible to reentrancy. Therefore, I am puzzled as to why the line1575 returns True in such cases, suggesting that the function might be reentrant?
Thank you for your assistance!

slither/slither/core/declarations/function.py

Lines 1554 to 1579 in 3befc96

	def is_reentrant(self) -> bool:
	"""
	Determine if the function can be re-entered
	"""
	reentrancy_modifier = "nonReentrant"
	if self.function_language == FunctionLanguage.Vyper:
	reentrancy_modifier = "nonreentrant(lock)"
	# TODO: compare with hash of known nonReentrant modifier instead of the name
	if reentrancy_modifier in [m.name for m in self.modifiers]:
	return False
	if self.visibility in ["public", "external"]:
	return True
	# If it's an internal function, check if all its entry points have the nonReentrant modifier
	all_entry_points = [
	f for f in self.all_reachable_from_functions if f.visibility in ["public", "external"]
	]
	if not all_entry_points:
	return True
	return not all(
	(reentrancy_modifier in [m.name for m in f.modifiers] for f in all_entry_points)
	)