[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Viuavm-commits] [SCM] Viua VM branch issue/ce6f5d82/rewrite-assembler u

From: git
Subject: [Viuavm-commits] [SCM] Viua VM branch issue/ce6f5d82/rewrite-assembler updated. v0.9.0-2267-g6223901
Date: Sun, 11 Nov 2018 13:09:59 +0100 (CET)

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(-)

Viua VM

reply via email to

[Prev in Thread] Current Thread [Next in Thread]