Trace 0:
  Transitions:
    'when following default'
    'returning'
  Return value:
    repr(): PointerToRegion(gcctype='char[6] *', loc=gcc.Location(file='tests/cpychecker/absinterp/switch/input.c', line=32), region=ArrayElementRegion('Green[0]'))
    str(): (char[6] *)&ArrayElementRegion('Green[0]') from tests/cpychecker/absinterp/switch/input.c:32
    r->ob_refcnt: None
    r->ob_type: None
  Exception:
    (struct PyObject *)0 from tests/cpychecker/absinterp/switch/input.c:26

Trace 1:
  Transitions:
    'when following case 0'
    'returning'
  Return value:
    repr(): PointerToRegion(gcctype='char[4] *', loc=gcc.Location(file='tests/cpychecker/absinterp/switch/input.c', line=29), region=ArrayElementRegion('Red[0]'))
    str(): (char[4] *)&ArrayElementRegion('Red[0]') from tests/cpychecker/absinterp/switch/input.c:29
    r->ob_refcnt: None
    r->ob_type: None
  Exception:
    (struct PyObject *)0 from tests/cpychecker/absinterp/switch/input.c:26

Trace 2:
  Transitions:
    'when following case 2'
    'returning'
  Return value:
    repr(): PointerToRegion(gcctype='char[5] *', loc=gcc.Location(file='tests/cpychecker/absinterp/switch/input.c', line=34), region=ArrayElementRegion('Blue[0]'))
    str(): (char[5] *)&ArrayElementRegion('Blue[0]') from tests/cpychecker/absinterp/switch/input.c:34
    r->ob_refcnt: None
    r->ob_type: None
  Exception:
    (struct PyObject *)0 from tests/cpychecker/absinterp/switch/input.c:26

Trace 3:
  Transitions:
    'when following cases 3...5'
    'returning'
  Return value:
    repr(): ConcreteValue(gcctype='const char *', loc=gcc.Location(file='tests/cpychecker/absinterp/switch/input.c', line=39), value=0)
    str(): (const char *)0 from tests/cpychecker/absinterp/switch/input.c:39
  Exception:
    (struct PyObject *)0 from tests/cpychecker/absinterp/switch/input.c:26
