[Viuavm-commits] [SCM] Viua VM branch devel updated. v0.9.0-2294-ge4264cd

[git]

This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "Viua VM".

The branch, devel has been updated
       via  e4264cd6be73fe6c1403efe9e38147fa44889edf (commit)
       via  95d661cb0a68d78f4a186770e1ef0d62894a5735 (commit)
       via  1c93b2f5eafcde3b9492e4c13d0dcbdcc4ed1541 (commit)
       via  05c79b8d777070297e02f864d9b2d0f826789bd3 (commit)
      from  abe29d1e42a0067169d98cf52e072042b8e0bdbd (commit)

Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.

- Log -----------------------------------------------------------------
commit e4264cd6be73fe6c1403efe9e38147fa44889edf
Author: Marek Marecki <address@hidden>
Date:   Sun Dec 9 17:20:15 2018 +0100

    Analyse if arms independently
    
    This required changing function signatures and plenty of new code, but
    hey, now we can actually check if arms! Which is a cool feature but we
    had this already - in the old, ugly analyser...
    
    The good news is that we're approaching feature parity with the old
    code and already have some more advanced checking in place. All in all
    things look pretty much OK.

commit 95d661cb0a68d78f4a186770e1ef0d62894a5735
Author: Marek Marecki <address@hidden>
Date:   Sun Dec 9 17:18:17 2018 +0100

    Implement cloning of function states
    
    Will be needed if we want to analyse if arms since each arm should
    receive its own copy of the function state.

commit 1c93b2f5eafcde3b9492e4c13d0dcbdcc4ed1541
Author: Marek Marecki <address@hidden>
Date:   Sun Dec 9 17:16:06 2018 +0100

    Implement function that clones a value
    
    Since values are held in std::unique_ptr we cannot just stick an copy
    ctor on them and call it a day. I opted for switch-and-copy to have all
    the logic in one place (and I didn't feel like implementing a flock of
    new virtual functions).

commit 05c79b8d777070297e02f864d9b2d0f826789bd3
Author: Marek Marecki <address@hidden>
Date:   Sun Dec 9 17:13:50 2018 +0100

    Allow rebinding Value_wrappers to new maps
    
    The index stays the same, but now points to a different map. It is
    useful when cloning function states, and when moving them - it is easier
    to just clone assigned values and rebind them than to traverse the
    hierarchy and rebind each value that should be rebound (although that
    would be the correct behaviour).

-----------------------------------------------------------------------

Summary of changes:
 .../tooling/libs/static_analyser/static_analyser.h |  10 ++
 .../libs/static_analyser/function_state.cpp        |  52 +++++++++
 .../libs/static_analyser/static_analyser.cpp       | 127 ++++++++++-----------
 src/tooling/libs/static_analyser/values.cpp        |  85 ++++++++++++++
 4 files changed, 207 insertions(+), 67 deletions(-)


hooks/post-receive
-- 
Viua VM