leak-detective: Whitelist functions of the Ada runtime related to Tasking

2016-09-20 16:26:05 +02:00
parent 8bc2ddb2cc
commit fd2ade9935
1 changed files with 4 additions and 0 deletions
@@ -600,6 +600,10 @@ char *whitelist[] = {
 	"gpg_err_init",
 	/* gnutls */
 	"gnutls_global_init",
+	/* Ada runtime */
+	"system__tasking__initialize",
+	"system__tasking__initialization__abort_defer",
+	"system__tasking__stages__create_task",
 };

 /**