Code

Handle representation clause address#233

Code

Open

xbauch wants to merge 11 commits intodiffblue:masterdiffblue/gnat2goto:masterfrom

xbauch:feature/representation-clause-addressxbauch/gnat2goto:feature/representation-clause-addressCopy head branch name to clipboard

Commits

Commits on Jun 7, 2019

• Unify creating integer constants

  Show description for b1567bc
  petr-bauch

  committed
  b1567bc

  Copy full SHA for b1567bc

• Implement representation clause address

  Show description for 1f7f49a
  petr-bauch

  committed
  1f7f49a

  Copy full SHA for 1f7f49a

• Wrap selected symbol in a dereference expression

  Show description for 2db62c7
  petr-bauch

  committed
  2db62c7

  Copy full SHA for 2db62c7

• Introduce cprover_memory

  Show description for 3f2cd54
  petr-bauch

  committed
  3f2cd54

  Copy full SHA for 3f2cd54

• Testcase for representation clause address

  petr-bauch

  committed
  22d8f04

  Copy full SHA for 22d8f04

• Decorate addressed variables

  Show description for a80baf8
  petr-bauch

  committed
  a80baf8

  Copy full SHA for a80baf8

• Implement handling the address attribute

  Show description for 1b3ba7f
  petr-bauch

  committed
  1b3ba7f

  Copy full SHA for 1b3ba7f

• Implement checking string prefix

  petr-bauch

  committed
  2e228e2

  Copy full SHA for 2e228e2

• Add default body for some subprograms

  Show description for 35808eb
  petr-bauch

  committed
  35808eb

  Copy full SHA for 35808eb

• Extend the test to check the address

  petr-bauch

  committed
  0c60e2b

  Copy full SHA for 0c60e2b

• Update golden results

  petr-bauch

  committed
  743d8d9

  Copy full SHA for 743d8d9