Andres Toom 6c625f362f Update GNAT SAS false positives for flow_generated_globals-phase_2 ...

These messages are all due to similar Infer limitations of analyzing
write accesses to generic instances. Added Infer ticket references.

2025-11-25 14:43:22 +02:00

..

analyzer

Update GNAT SAS false positives for flow_generated_globals-phase_2

2025-11-25 14:43:22 +02:00

debug.adc

P703-003 new gnat2why build type: Devel

2016-07-05 11:39:18 +01:00

devel.adc

P703-003 new gnat2why build type: Devel

2016-07-05 11:39:18 +01:00

gnat2why_c.gpr

N423-028 Simplify build of gnat2why

2014-05-08 12:01:15 +02:00

gnat2why_gnat.gpr

Return to previous pre-commit-based formatting setup

2025-07-28 10:41:51 +00:00

gnat2why_ignore_format.txt

Prepare setup

2025-07-23 09:47:12 +00:00

gnat2why.gpr

gnat2why.gpr: stop excluding generated frontend files from GNATSAS analysis

2025-06-05 16:06:57 +02:00

gnat.adc

Enable restriction No_Streams to reduce size of the gnat2why binary

2024-03-27 09:47:20 +00:00

Makefile

Respect limit on parallel processes when building GNAT AST

2025-03-11 07:45:42 +00:00

sdefault.adb.in

N423-028 Merge gnat1why and gnat2why builds

2014-05-06 09:49:09 +02:00

smissing.c

(no-tn-check) Update copyright notices

2022-01-03 08:39:39 +00:00