ada/spawn
0
0
Fork 0
mirror of https://github.com/AdaCore/spawn.git synced 2026-02-12 13:09:41 -08:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #17 from AdaCore/topic/addresssanitizer_mode

Browse Source 
Add a build mode for AddressSanitizer
This commit is contained in:
Nicolas Setton
2021-08-27 11:18:18 +01:00
committed by GitHub
parent fe555aff67 9c3efec880
commit da3b3cfc24
1 changed files with 10 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

11
gnat/spawn.gpr
View File

@@ -27,7 +27,7 @@ library project Spawn is
type Library_Kind is ("static", "static-pic", "relocatable");
Library_Type : Library_Kind := external ("LIBRARY_TYPE", "static");
type Spawn_Build_Kind is ("dev", "prod", "coverage");
type Spawn_Build_Kind is ("dev", "prod", "coverage", "AddressSanitizer");
Build_Mode : Spawn_Build_Kind :=
external ("SPAWN_BUILD_MODE", external ("BUILD_MODE", "prod"));
@@ -114,6 +114,15 @@ library project Spawn is
"--coverage");
Linker_Options := Linker_Options & ("--coverage");
when "AddressSanitizer" =>
Ada_Switches := Ada_Switches & (
-- Standard development flags
"-O0", "-g",
-- Enable the AddressSanitizer
"-fsanitize=address");
Linker_Options := Linker_Options & ("-fsanitize=address");
end case;
package Compiler is