[Top][All Lists]

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

[Viuavm-commits] [SCM] Viua VM branch devel updated. v0.9.0-2764-g2d46ca

From: git
Subject: [Viuavm-commits] [SCM] Viua VM branch devel updated. v0.9.0-2764-g2d46ca9
Date: Sun, 4 Oct 2020 22:53:05 +0200 (CEST)

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  2d46ca9205a19230fb69cc3f8a444ccc5e290f85 (commit)
       via  1a76a0d9e20748923d6dac7208cd399e9ff39071 (commit)
      from  a9f6aba34720e3a7d37bd1db5690334dd31b7011 (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 2d46ca9205a19230fb69cc3f8a444ccc5e290f85
Author: Marek Marecki <>
Date:   Sun Oct 4 22:35:41 2020 +0200

    Fix depointerising code
    I messed up the condition and it was *enabling* instead of *disabling*
    the pointer flag in some cases. The code to trigger the bug was:
        integer %1 local 0
        ptr %2 local %1 local
        ; Here we copy a dereferenced value so expect to get an integer, not
        ; a pointer.
        copy %3 local *2 local
        ; Here, you would expect `%3 local' to contain an integer, but nope,
        ; the static analyser deduced a pointer-to-integer.
        iinc %3 local
    Should be fixed now.


Summary of changes:
 include/viua/version.h                                    |  2 +-
 src/assembler/frontend/static_analyser/checkers/utils.cpp | 14 ++++++++++----
 2 files changed, 11 insertions(+), 5 deletions(-)

Viua VM

reply via email to

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