Joffrey Huguet afb4bac376 Add flow limitations ...

This patch adds automatic generation of flow limitations, as well as
it implements the array initialization and aliasing ones.

[changelog]
* docs/ug/*
Add flow limitation list.
* src/common/vc_kinds.adb
* src/common/vc_kinds.ads
Add new flow limitations and their associated messages.
* src/flow/flow-analysis-antialiasing.adb
(Aliasing): Emit warning when detecting aliasing on array components.
* src/flow/flow-control_flow_graph.adb
(Do_Loop_Statement): Emit warnings on initialization of arrays by a loop.
* testsuite/gnatprove/tests/
Update tests outputs.

2025-04-28 09:17:29 +00:00

..

.gitignore

…

table_generator.adb

Add flow limitations

2025-04-28 09:17:29 +00:00

table_generator.gpr

Use gnatcoll_core instead of gnatcoll in table_generator

2025-02-25 14:41:03 +01:00