<div dir="ltr">I'm very sorry, I forgot to show you the test failure I was getting:<div><br></div><div>==> X fr.hammons.slinc.Transfer17Jitted.varargs can be embedded in structs  0.225s munit.ComparisonFailException: /home/mhammons/Documents/slinc/core/test/src/fr/hammons/slinc/TransferSpec.scala:235<br>234:          ints.foreach: value =><br>235:            assertEquals(va.get[CInt], value, "conversion test")<br>236:<br>conversion test<br>=> Obtained<br>0<br>=> Diff (- obtained, + expected)<br>-0<br>+1<br><br>Failing seed: G74hsXncaBhRJ5gYO0IoJVCp1DhYmXm0CSeK35JkZPN=<br>You can reproduce this failure by adding the following override to your suite:<br><br>  override def scalaCheckInitialSeed = "G74hsXncaBhRJ5gYO0IoJVCp1DhYmXm0CSeK35JkZPN="<br><br>Falsified after 9 passed tests.<br>> ARG_0: List(0, 0, 0, 0, 0, 0, 0, 1)<br>> ARG_0_ORIGINAL: List(-1588110949, -1261571563, 0, -554817481, 0, 330801625, 1, 446849842, 1147609259)<br></div><div><br></div><div>What these results indicate is that after the 7th Int retreived from the VaList, the VaList starts returning 0 instead of the value originally passed in.</div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, Apr 20, 2023 at 9:00 AM Mark Hammons <<a href="mailto:markehammons@gmail.com">markehammons@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr">Hi all,<div><br></div><div>I know that the panama project is pushing forward on java 20 and 21 right now, and java 17 is probably not a great concern for you all at the moment, but I was testing VaList support in my library, Slinc, and it seems to be flaky on Java 17.0.5. The test in question goes like so:</div><div><br></div><div><font face="monospace">  property("varargs can be embedded in structs"):<br>      forAll: (ints: Seq[CInt]) =><br>        val numTake = 8<br>        Scope.confined:<br>          val va = VarArgsBuilder.fromIterable<br>            (<br>              ints.map(a => a: Variadic).take(numTake)<br>            )<br>            .build<br><br>          val x = va.copy()<br><br>          val p = Ptr.copy(E(x))<br>          <br>          ints.take(numTake).foreach: value =><br>            assertEquals(va.get[CInt], value, "conversion test")<br><br>          ints.take(numTake).foreach: value =><br>            assertEquals((!p).list.get[CInt], value)</font><br></div><div>Originally in this test I was testing if I could write a VaList to a struct and get it back out and pull the values out of it appropriately. What I noticed is that if the number of integer values in a row passed into VaList is 8 or greater, my test fails. 7 or less ints and the test passes. On the Java 19 implementation, this does not happen, nor does this happen when I pass a great deal more parameters (but more varied in types, some longs, some pointers, some structs). This test passes if I randomly generate Long values and pass those into the VaList. </div><div><br></div><div>This is not a critical bug by any means. I can sidestep the issue by encoding all lower integral types into Long in the java 17 runtime for my library. I just wanted to bring this to your attention because it's a weird issue that java 17 users of the foreign api may hit.</div><div><br></div><div>Thanks for your time,</div><div>Mark Hammons</div></div>
</blockquote></div>