summary refs log blame commit diff stats
path: root/tests/ccgbugs/tunsafeaddr.nim
blob: f868739ded3354ddbae9e385cb27929fbb1827e7 (plain) (tree)
1
2
3
4
5
6
7
8
           

               


           

                       










                                                       








                                                                    
      

















                                                            
discard """
  output: '''12
4'''
"""

{.emit: """
NI sum(NI* a, NI len) {
  NI i, result = 0;
  for (i = 0; i < len; ++i) result += a[i];
  return result;
}
""".}

proc sum(a: ptr int; len: int): int {.importc, nodecl.}

proc main =
  let foo = [8, 3, 1]
  echo sum(unsafeAddr foo[0], foo.len)


# bug #3736

proc p(x: seq[int]) = discard x[0].unsafeAddr # works
proc q(x: seq[SomeInteger]) = discard x[0].unsafeAddr # doesn't work

p(@[1])
q(@[1])

main()

# bug #9403

type
  MyObj = ref object
    len: int
    val: UncheckedArray[uint64]

proc spot(x: MyObj): int64 =
  result = cast[UncheckedArray[int64]](x.val)[0]

proc newMyObj(len: int): MyObj =
  unsafeNew(result, sizeof(result[]) + len * sizeof(uint64))
  result.len = len
  result.val[0] = 4u64
  result.val[1] = 8u64

echo spot(newMyObj(2))