[all-commits] [llvm/llvm-project] 0428d4: [Dexter] Add DexDeclareAddress command and address...

[Stephen Tozer via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 0428d44d4cfafe55fd13679cf16f6b099cbb0e61
      https://github.com/llvm/llvm-project/commit/0428d44d4cfafe55fd13679cf16f6b099cbb0e61
  Author: Stephen Tozer <stephen.tozer at sony.com>
  Date:   2021-12-01 (Wed, 01 Dec 2021)

  Changed paths:
    M cross-project-tests/debuginfo-tests/dexter/Commands.md
    M cross-project-tests/debuginfo-tests/dexter/dex/command/ParseCommand.py
    A cross-project-tests/debuginfo-tests/dexter/dex/command/commands/DexDeclareAddress.py
    M cross-project-tests/debuginfo-tests/dexter/dex/command/commands/DexExpectWatchBase.py
    M cross-project-tests/debuginfo-tests/dexter/dex/heuristic/Heuristic.py
    A cross-project-tests/debuginfo-tests/dexter/feature_tests/commands/penalty/missing_dex_address.cpp
    A cross-project-tests/debuginfo-tests/dexter/feature_tests/commands/perfect/dex_declare_address/address_after_ref.cpp
    A cross-project-tests/debuginfo-tests/dexter/feature_tests/commands/perfect/dex_declare_address/address_hit_count.cpp
    A cross-project-tests/debuginfo-tests/dexter/feature_tests/commands/perfect/dex_declare_address/expression_address.cpp
    A cross-project-tests/debuginfo-tests/dexter/feature_tests/commands/perfect/dex_declare_address/identical_address.cpp
    A cross-project-tests/debuginfo-tests/dexter/feature_tests/commands/perfect/dex_declare_address/multiple_address.cpp
    A cross-project-tests/debuginfo-tests/dexter/feature_tests/commands/perfect/dex_declare_address/offset_address.cpp
    A cross-project-tests/debuginfo-tests/dexter/feature_tests/commands/perfect/dex_declare_address/self_comparison.cpp
    A cross-project-tests/debuginfo-tests/dexter/feature_tests/subtools/test/address_printing.cpp
    A cross-project-tests/debuginfo-tests/dexter/feature_tests/subtools/test/err_duplicate_address.cpp
    A cross-project-tests/debuginfo-tests/dexter/feature_tests/subtools/test/err_undeclared_addr.cpp

  Log Message:
  -----------
  [Dexter] Add DexDeclareAddress command and address function

This patch adds a new dexter command, DexDeclareAddress, which is used
to test the relative values of pointer variables. The motivation for
adding this command is to allow meaningful assertions to be made about
pointers that go beyond checking variable availability and null
equality.

The full explanation and syntax is in Commands.md.

Reviewed By: Orlando

Differential Revision: https://reviews.llvm.org/D111447