ValgrindのPossibly Lostの意味や実際のサンプルをご紹介

「still reachable」と同様に、まだメモリへのポインタが残っているものの、配列等の割り当てされたメモリの「中央」の値を指しており（interior-pointer）、始点を指すポインタ（start-pointer）が消失している状態です。

 

「Possibly」（おそらく）という単語からも想像が付きますが、このステータスはValgrind側でも確実なメモリリーク（Definetely Lost）か？そうでないか（Still Reachable）は判断がつかないグレーな状況と言えます。なので、この結果を受けての詳細な確認（Definetely Lostなのか？Still Reachableなのか？）するのはプログラマのタスクとなります。

 

例えば次のような要素が3つのint型の配列を「int i* = new int[3]」で定義します（参考：動的メモリ確保）。この時、ポインタ「i*」は配列の最初の要素のアドレス、つまりi[0]のアドレスを指しています。

 

一方でグローバル変数として定義しているポインタ「x1*」には「x1 = i+2;」で配列の３要素目のアドレスを代入すると、x1としては配列の最初の要素のアドレスが分からず（最初の要素へのポインタが無い）、2番目以降の途中の要素を指示したポインタとなります（Valgrindではこのような状況を「interior-pointer」と呼んでいるようです）。このような状況下で「possibly lost」が発生します。

 

（図１１１）

＞目次にもどる

前述の（図１１１）の状況を実際に再現したのが次の（例１）のサンプルプログラムです。

 

（例１）

#include <stdlib.h>

int *x1;

int main(void)
{
    //# int型の配列（４要素）を動的に確保
    int *i = new int[4];
    //# 配列の各要素に値を格納
    i[0] = 10;
    i[1] = 11;
    i[2] = 12;
    i[3] = 13;
    //# グローバル変数のポインタ「*x1」のアドレスに、iの2要素先
    //# つまり配列の３要素目のアドレスを代入する
    x1 = i+2;

    return 0;
}

＞目次にもどる

上記のサンプルプログラムをコンパイルし、valgrindコマンドでメモリリークチェック（⇒★）を実行した際の出力結果をご紹介します。

 

（出力サンプル）

==2374== HEAP SUMMARY:
==2374==     in use at exit: 16 bytes in 1 blocks
==2374==   total heap usage: 1 allocs, 0 frees, 16 bytes allocated
==2374==
==2374== 16 bytes in 1 blocks are possibly lost in loss record 1 of 1
==2374==    at 0x4C2C866: operator new[](unsigned long) (vg_replace_malloc.c:579)
==2374==    by 0x40059E: main (memorytest_possibly.cpp:7)
==2374==
==2374== LEAK SUMMARY:
==2374==    definitely lost: 0 bytes in 0 blocks
==2374==    indirectly lost: 0 bytes in 0 blocks
==2374==      possibly lost: 16 bytes in 1 blocks
==2374==    still reachable: 0 bytes in 0 blocks
==2374==         suppressed: 0 bytes in 0 blocks
==2374==
==2374== For lists of detected and suppressed errors, rerun with: -s
==2374== ERROR SUMMARY: 1 errors from 1 contexts (suppressed: 0 from 0)

valgrind --tool=memcheck --leak-check=yes --show-possibly-lost=no ../チェック対象プログラム

＞目次にもどる