An object which has been modified is accessed through an expression based on a restrict-qualified pointer and another lvalue not also based on said pointer:
      > in f at UB-ECL3-bad.c:5:7
        in main at UB-ECL3-bad.c:11:7

    Undefined behavior (UB-ECL3):
        see C11 section 6.7.3.1:4 http://rvdoc.org/C11/6.7.3.1
        see C11 section J.2:1 item 68 http://rvdoc.org/C11/J.2
        see CERT-C section EXP43-C http://rvdoc.org/CERT-C/EXP43-C
        see MISRA-C section 8.1:3 http://rvdoc.org/MISRA-C/8.1

