[C++ Verification] ERROR: Can't construct rvalue reference to array type during dereference about esbmc HOT 5 CLOSED

B (c:@S@B@F@B#):
        // 20 file main9.cpp line 1 column 8 function B
        END_FUNCTION // B
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

list (c:@S@list@F@list#):
        // 21 
        FUNCTION_CALL:  B(&this->list[0])
        // 22 file main9.cpp line 5 column 8 function list
        END_FUNCTION // list
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

main (c:@F@main#):
        // 23 no location
        list mylist;
        // 24 
        FUNCTION_CALL:  list(&mylist)
        // 25 file main9.cpp line 13 column 3 function main
        RETURN: 0
        // 26 file main9.cpp line 14 column 1 function main
        END_FUNCTION // main

B (c:@S@B@F@B#):
        // 20 file main9.cpp line 1 column 8 function B
        END_FUNCTION // B
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

list (c:@S@list@F@list#):
        // 21 file main9.cpp line 5 column 8 function list
        struct [10] tmp$1;
        // 22 file main9.cpp line 5 column 8 function list
        tmp$1=NONDET(struct [10]);
        // 23 
        FUNCTION_CALL:  B(&tmp$1[0])
        // 24 
        this->list=tmp$1;
        // 25 file main9.cpp line 5 column 8 function list
        dead tmp$1;
        // 26 file main9.cpp line 5 column 8 function list
        END_FUNCTION // list
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

main (c:@F@main#):
        // 27 file main9.cpp line 12 column 3 function main
        list mylist;
        // 28 file main9.cpp line 12 column 8 function main
        list tmp$1;
        // 29 file main9.cpp line 12 column 8 function main
        tmp$1=NONDET(struct);
        // 30 
        FUNCTION_CALL:  list(&tmp$1)
        // 31 file main9.cpp line 12 column 3 function main
        mylist=tmp$1;
        // 32 file main9.cpp line 13 column 3 function main
        RETURN: 0
        // 33 file main9.cpp line 14 column 1 function main
        END_FUNCTION // main