C++:
int main() {
int a = 2;
switch(int b = 4; a+b) {
...
}
}
The srcML XML of the condition looks like:
<condition>(<decl><type><name>int</name></type> <name>b</name> <init>= <expr><name>a</name> <operator>+</operator> <literal type="number">4</literal></expr></init></decl>; a+b)</condition>
srcSlice when it gives this XML to Dispatcher, srcSlice does not receive data about the decl within the condition of the switch causing srcSlice not to generate a slice for b.