我有以下的Ada小程序:
procedure Leaky_Main is
task Beer;
task body Beer is
begin
null;
end Beer;
begin
null;
end Leaky_Main;
这些都是非常基础的,但是当我像这样编译时:
gnatmake -g -gnatwI leaky_main.adb
像这样在Valgrind中运行它:
valgrind --tool=memcheck -v --leak-check=full --read-var-info=yes --leak-check=full