SAD部屋 - Ticket-20 Diff

! While[True, Null] is crashed

:Priority:Normal
:Reporter:Akio Morita
:Status:New:Status:Closed
:Assigned to:?to:Akio Morita
:Version:2234
:Milestone:?:Milestone:2294
:Created:2008-08-14

!! Description

''While[True, Null]''なる無限ルールで SADが core dumpする

''While[True, a = 1]''は問題ない模様

!! Attachement files
{{attach_map('Ticket-20')}}
{{attach_form('','')}}//{{attach_form('','')}}

!! Changelog
!!!Akio Morita (2008-08-14 (木) 01:51:58)
追試の結果、次の例は core dumpする
While[True, 0]
While[True, "a"]
!!!Akio Morita (2008-08-14 (木) 20:13:03)
tfwhile @ tfmap.fの実装ミス

''While[cond, body]''の評価コードが、''cond''と''body''が
リストであるかどうかの組み合わせで４種類に分岐している。
その中で、''cond''と''body''が両方ともリストでない場合、
つまり、''cond''と''body''がアトムの場合に''cond''の評価に
リスト用の'''tfleval'''が呼ばれる。'''tfleval'''へ渡される
''iac''はリストでない場合はアドレスではないので不正
アドレス参照で segmentation faultが発生する

{{its_edit_ticket_form}}//{{its_edit_ticket_form}}