[Viuavm-commits] [SCM] Viua VM branch issue/ce6f5d82/rewrite-assembler updated. v0.9.0-2267-g6223901

[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/ce6f5d82/rewrite-assembler has been updated
       via  6223901d4cf3b96ad73dea47f4781ed3f59c5762 (commit)
      from  7cd90bfb868a090c0b92cba41bc559fe6f49ac3e (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 6223901d4cf3b96ad73dea47f4781ed3f59c5762
Author: Marek Marecki <address@hidden>
Date:   Sun Nov 11 13:05:20 2018 +0100

    Fix structs may preserve types of fields
    
    When the atom used as the key in `structinsert` and `structremove`
    instructions has known value (which should be the majority of cases),
    then the type of the value held at given key will be preserved.
    
    Assuming the key value is known:
    
    1. key is `foo`
    2. value is an integer
    3. the value is put into a struct at key `foo`
    4. a value is extracted from a struct at key `foo`
    5. extracted value is an integer
    
    Assuming the key value is *not* known:
    
    1. value is an integer
    2. the value is put into a struct at some key
    3. a value is extracted from a struct at key `foo`
    4. extracted value is of unknown type

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

Summary of changes:
 .../tooling/libs/static_analyser/static_analyser.h |  5 +++
 .../libs/static_analyser/static_analyser.cpp       | 49 +++++++++++++++++++---
 src/tooling/libs/static_analyser/values.cpp        | 15 +++++++
 3 files changed, 64 insertions(+), 5 deletions(-)


hooks/post-receive
-- 
Viua VM