Allow zero-sized offsets on dangling pointers in ptr contracts - #625
Open
tautschnig wants to merge 1 commit into
Open
Allow zero-sized offsets on dangling pointers in ptr contracts#625tautschnig wants to merge 1 commit into
tautschnig wants to merge 1 commit into
