[Viuavm-commits] [SCM] Viua VM branch issue/183/7eadf61e/better-static-analyser updated. v0.9.0-449-g342e9db

[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, issue/183/7eadf61e/better-static-analyser has been updated
       via  342e9db5215601c1b19d493e75c7aab000104075 (commit)
       via  2a9aafd468e015c3062a2d25c192590342c035ee (commit)
       via  2fc184ad710d2c3fc9c68e754f14f11a8701d809 (commit)
       via  7625aa29eb44afdded047ac23bd134a9b9945d5b (commit)
      from  35d1acf06dd638e9dc23c35f77bb10d5f8e384bc (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 342e9db5215601c1b19d493e75c7aab000104075
Author: Marek Marecki <address@hidden>
Date:   Sun Sep 3 13:20:26 2017 +0200

    Tests for partial and two-stage pointerness inference

commit 2a9aafd468e015c3062a2d25c192590342c035ee
Author: Marek Marecki <address@hidden>
Date:   Sun Sep 3 13:19:50 2017 +0200

    Remove commented lines

commit 2fc184ad710d2c3fc9c68e754f14f11a8701d809
Author: Marek Marecki <address@hidden>
Date:   Sun Sep 3 13:01:38 2017 +0200

    Infer type pointerness when analysing "print" instruction

commit 7625aa29eb44afdded047ac23bd134a9b9945d5b
Author: Marek Marecki <address@hidden>
Date:   Sun Sep 3 13:00:37 2017 +0200

    Remove commented line

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

Summary of changes:
 .../inference_includes_pointered_types.asm         |  2 -
 .../partial_pointerness_inference.asm              | 51 ++++++++++++++++++++
 .../two_stage_pointerness_inference.asm            | 54 ++++++++++++++++++++++
 ...vinsert_does_not_erase_dereferenced_sources.asm |  1 -
 .../frontend/static_analyser/register_usage.cpp    |  9 ++++
 tests/tests.py                                     | 20 ++++++++
 6 files changed, 134 insertions(+), 3 deletions(-)
 create mode 100644 sample/static_analysis/partial_pointerness_inference.asm
 create mode 100644 sample/static_analysis/two_stage_pointerness_inference.asm


hooks/post-receive
-- 
Viua VM