Null access analyzer?
16 May 2023 at 19:02
Is there any GNAT option or other static analyzer that can warn about possible null pointers and avoid a Constraint_Error
at a runtime? For example:
procedure Test (P : access Integer) is begin P.all := 1; -- `P` could be null. end Test;
EDIT: Renamed compiler. Improved explanation.
[link] [comments]