6. Running Deeper Analyses

You can vary the thorougness of GNAT SAS’ analysis by selecting the menu GNATSAS ‣ Analyze… and selecting fast or deep in the Analysis mode dropdown. In fast mode, a fast analysis is performed. In particular, GNAT SAS’ Inspector analyzes each library unit separately. In deep mode GNAT SAS’ Inspector performs the analysis by group of of units.

Partitioning can be seen in the Messages window:

Partition 1 of 2.
...

Partition 2 of 2.
...

Note

Partitioning does not occur in deep mode on our project, which is too small.

When units are analyzed separately, no information is shared between the various analyses. The results may be less precise than the ones obtained by running GNAT SAS at deep mode. But the benefit is quite clear: you can get much faster results by running GNAT SAS at fast mode, and you can later run at deep mode when more precision is required.