Skip to content

CellBounds: False positive on loadAddress from a temporary object #269

@jubnzv

Description

@jubnzv
beginCell()
        .storeUint(2, 2)
        .storeUint(0, 1)
        .storeUint(0, 8)
        .storeUint(state_init.hash(), 256) // 267 in total
        .endCell()
        .asSlice()
        .loadAddress(); // Should not be reported: 267-267=0

Metadata

Metadata

Assignees

Labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions