[augeas-devel] [Augeas] #310: Segfault with recursive lens

[Augeas]

#310: Segfault with recursive lens
-----------------------+--------------------
  Reporter:  raphink   |      Owner:  lutter
      Type:  defect    |     Status:  new
  Priority:  critical  |  Milestone:  next
 Component:  Augeas    |    Version:  devel
Resolution:            |   Keywords:
Blocked By:            |   Blocking:
-----------------------+--------------------
Description changed by raphink:

Old description:

> As I was working on the `erlang.aug` module, I stumbled on a case of
> segfault. I reduced the code as much as I could, so the following module
> (which shouldn't typecheck anyway) causes a segfault with HEAD:
>
> {{{
> module Erlang_Bug =
>
> let block (lns:lens) =
>   [ key Rx.word
>   . Util.del_str "="
>   . lns ]
>
> let value = store Rx.word
>
> let rec parameter =
>   block (parameter|value)
>
> let application =
>   block parameter
>
> let config = application . application?
>
> test Erlang_Bug.config get "rabbit=cluster_nodes=example1" =
>   { "rabbit" { "cluster_nodes" = "example1" } }
>
> test Erlang_Bug.config put "rabbit=cluster_nodes=example1"
>   after set "/rabbit/cluster_nodess/value" "1" = ?
> }}}

New description:

 As I was working on the `erlang.aug` module, I stumbled on a case of
 segfault. I reduced the code as much as I could, so the following module
 (which shouldn't typecheck anyway) causes a segfault with HEAD:

 {{{
 module Erlang_Bug =

 let block (lns:lens) =
   [ key Rx.word
   . Util.del_str "="
   . lns ]

 let value = store Rx.word

 let rec parameter =
   block (parameter|value)

 let application =
   block parameter

 let config = application . application?

 test Erlang_Bug.config get "rabbit=cluster_nodes=example1" =
   { "rabbit" { "cluster_nodes" = "example1" } }

 test Erlang_Bug.config put "rabbit=cluster_nodes=example1"
   after set "/rabbit/cluster_nodess/value" "1" = ?
 }}}

 From the errors I was getting in `erlang.aug` before I tried cornering
 this bug, it seems to be related to #253.

--

-- 
Ticket URL: <https://fedorahosted.org/augeas/ticket/310#comment:1>
Augeas <http://augeas.net/>
a configuration API