CORE
main.c
--dependence-graph --show
activate-multi-line-match
^EXIT=0$
^SIGNAL=0$
\/\/ ([0-9]+).*\n.*a\[(\(signed long( long)? int\))?2\] = 2;(.*\n)*Data dependencies: (\1)\n(.*\n){2,3}.*out = *
--
\/\/ ([0-9]+).*\n.*a\[(\(signed long( long)? int\))?1\] = 1;(.*\n)*Data dependencies: (\1)\n(.*\n){2,3}.*out = *
^warning: ignoring
--

The two regex above matches output portions like shown below (with <N> being a
location number). The intention is to make sure the rw_set recognize the range
of the assignment to an array index correctly.

        // <N> file main.c line 4 function main
        a[(signed long int)2] = 2;
        ...

**** 4 file main.c line 6 function main
Data dependencies: <N>

        // 4 file main.c line 6 function main
        out = a[(signed long int)2];

