シンボリックリンクのループの検知方法について教えてください。

> 上記方法でケアできないパターンが存在するのでしょうか？

いやむしろ，上記方法の方が，有向グラフのサイクル (向きのついたループ)

検出アルゴリズムとしては真当です．２つの方法を比較すると，

(1) 上記方法 (探索中の経路上の節点をすべて記録する方法)
    (a) サイクルを検出する正しい方法である．
        (ただし今回の場合は zzz_1980 さんの指摘を考慮する必要がある．)
    (b) 探索する経路の長さが事前にわからないので，動的メモリ管理が必要．

(2) リンクをたどる回数を数え，上限値と比較する方法
    (c) 上限値より長い，サイクルでない経路をサイクルと誤判定してしまう．
    (d) 短いサイクル (例えば自分自身へのリンク) であっても，必ず上限回数
        だけリンクをたどらないと検出できない．誤判定を少なくしようとして
        必要以上に上限を大きくすると時間がかかる．
    (e) 動的メモリ管理不要で，実装が超簡単．

symlink で (2) の方法を採用したのは，たぶん次のような理由でしょう．

• symlink(2) はライブラリ関数ではなくシステムコールなので，動的メモリ管理はなるべく避けたい．
  (malloc(3) はライブラリ関数なのでシステムコール内では使えない．
  カーネルモード内で使えるメモリ管理関数もなくはないが，制限がある(らしい)．)

• (c)，(d) については，シンボリックリンクで無闇に長い経路を作るのは非実用的なので，小さい上限値で十分実用になるだろう．
  (手元の Ubuntu 8.04 で調べてみると，bits/posix1_lim.h で _POSIX_SYMLOOP_MAX＝8 と定義されていました．)