The node you are looking for is at
gnat_ugn/gnat_utility_programs gnatxref-switches
.