[Viuavm-commits] [SCM] Viua VM branch devel updated. v0.9.0-2297-g54c0d03

[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  54c0d03bdebfefb1eb836309baeab3d28841f61b (commit)
       via  3ae11639d5a7029407d4ed30e405d56783686c03 (commit)
       via  563851f3c94b730e8bf84c3cf2cb46fa507fecba (commit)
      from  e4264cd6be73fe6c1403efe9e38147fa44889edf (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 54c0d03bdebfefb1eb836309baeab3d28841f61b
Author: Marek Marecki <address@hidden>
Date:   Tue Dec 18 19:48:57 2018 +0100

    Use Arm_result to see if a call leads to endless recursion

commit 3ae11639d5a7029407d4ed30e405d56783686c03
Author: Marek Marecki <address@hidden>
Date:   Tue Dec 18 19:46:16 2018 +0100

    Make analyse_single_arm() return the result of the analysis
    
    This result is especially useful when checking whether a call leads to
    endless recursion or not, by comparing the execution paths taken by both
    arms.

commit 563851f3c94b730e8bf84c3cf2cb46fa507fecba
Author: Marek Marecki <address@hidden>
Date:   Tue Dec 18 18:58:44 2018 +0100

    Fix: arms analysed after IF are conditionally executed
    
    The marker that says "this code is conditionally executed" should be set
    to true when analysing them.

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

Summary of changes:
 .../libs/static_analyser/static_analyser.cpp       | 44 +++++++++++++++++-----
 1 file changed, 35 insertions(+), 9 deletions(-)


hooks/post-receive
-- 
Viua VM