[Bro-Dev] #367: internal_error with &optional fields in records used as indexes

[Bro Tracker]

#367: internal_error with &optional fields in records used as indexes
----------------------+------------------------
  Reporter:  seth     |      Owner:
      Type:  Problem  |     Status:  new
  Priority:  Normal   |  Milestone:  Bro1.6
 Component:  Bro      |    Version:  git/master
Resolution:           |   Keywords:  logging
----------------------+------------------------

Comment (by seth):

 This patch doesn't seem to work in all cases.  Here's another example that
 fails.

 {{{
 type FOO: record {
         a: string;
         b: string &optional;
 };

 global table_test: table[string] of set[FOO];

 event bro_init()
         {
         table_test["one"] = set();
         add table_test["one"][[$a="test"]];
         }
 }}}

 It gives this error:

 {{{
 1297095615.428758 <no location> and ./test-367.bro, line 9
    ([a=test, b=<uninitialized>] and list of record { a:string; b:string;
 }): error, index type doesn't match table
 }}}

-- 
Ticket URL: <http://tracker.icir.org/bro/ticket/367#comment:4>
Bro Tracker <http://tracker.icir.org/bro>
Bro Issue Tracker