Skip to Content.
Sympa Menu

cgal-discuss - [cgal-discuss] Debugging tools for CGAL code

Subject: CGAL users discussion list

List archive

[cgal-discuss] Debugging tools for CGAL code


Chronological Thread 
  • From: Mike V <>
  • To:
  • Subject: [cgal-discuss] Debugging tools for CGAL code
  • Date: Tue, 18 Apr 2023 11:24:24 +0200
  • Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None ; spf=Pass ; spf=None
  • Ironport-data: A9a23:IGS6z6BjZXt82hVW//vnw5YqxClBgxIJ4kV8jS/XYbTApDMnhjwBy WIWXDyBPPmPZDPyKox/aY/joUNSuJXTm4A1OVdlrnsFo1Bi+ZOUX4zBRqvTF3rPdZObFBoPA +E2MISowBUcFyeEzvuVGuG96yM6j8lkf5KkYMbcICd9WAR4fykojBNnioYRj5Vh6TSDK1rlV eja/ouOaTdJ5xYuajhPs/7a+Es21BjPkGpwUmIWNagjUGD2zCF94KI3fcmZM3b+S49IKe+2L 86rIGaRows1Vz90Yj+Uuu6Tnn8iGtY+DiDS4pZiYJVOtzAZzsAEPgnXA9JHAatfo23hc9mcU 7yhv7ToIesiFvWkdOjwz3C0usyxVEFL0OavHJSxjSCc52rlcnXV7O5VN2xoZb8f07lqLlh/9 9VNfVjhbjjb7w636LeyS+0pi8Z6ace2ZcUQvXZvyTyfBvEjKXzBa/+StJkIgXFq35AIQK+2i 8kxMVKDaDzFYh5CIkkaDpQWk+Khh325eDpdwL6QjfNvuDWMl1AgjNABNvL7OeWzYN9ql3qpj Xvo4GvwPCk8bcSQnG/tHnWE37eTx0sXQrk6H7Kx8rtmgUaY23cIIAYHUEOy5/i/kE+3HdxFQ 3H44QIrpKk2sUGpF5zzAkT+r3mDsRoRHdFXFoXW9T1h1ILzwAeXP0cfdQVsNoQUs+ZpWBMT5 12gyoaB6SNUjJWZTneU97GxpDy0ODQIIWJqWcPiZVtUizUEiNFj5i8jXuqPA4bu0YKoQWCYL ySi6Xlh1+9K3Kbnwo3ipQif6w9AsKQlWeLc2+k6dmes7wc8aYz8IoL1sB7U6vFPKIvfRV6E1 JTlpyR8xLBfZX1uvHbVKAnoIF1Pz6jVWNE7qQA2d6TNDxz3pxaekXl4uVmS3ntBPMceYiPOa 0TOow5X75I7FCL0PfYoPtzrUZpylveI+THZuhb8Posmjn9ZJF/vwc2STRP4M53Fyhl3z/lvY /93j+7wUS1EYUiY8NZGb75FjeVDKtEWymTUSpT2pylLIpLPDEN5vYwtaQPUBshgtPPsiFyMr 753apXXoz0CD7WWSneNreY7cwtRRVBlXsCeliCiXrfdSuaQMD18Ua+5LHJIU9ANopm5Yc+Vr iHmBh4JlQWXaL+uAVziV02PoYjHBf5XxU/X9wR1ZD5EAlByOt7937RVbJYtY7gs+cpqyPM+H bFPeNyNDr4LAn7L8igUJ8u15oFzVgWZtSTXNQqcYR87Y8FBQS7N8YTaZQfBznQFIRe2ksocm Iee8D3nb6ANfClYN/aOWsmTlwuwmVM/hNNNW1D5J4gPWUf0r6lvBS/Drt42BMAuLx/86COQ/ FuUC01ApM3mgYw8wP/Wj4+q8qarFOpfGBJBPm/5tLyZCwjTzlCB86RhDtmaXGn6f3zm3Ymff sNp9uHYHNxbuUdVoqx+Pq1Oz6lj1+DwprRf8BtoLE/LY3uvFLlkBHuMhutLiYFg2Z5bvhmQS GuU29wHJ4iMBtzpIGQRKCUhcO6H8/MewRvWzPYtJXTF9D1Fx6WGXWpSLiuzpnRkdpUtC7wcw MAlpMIywC68gEBzMt+50wZlx17VJXkEC6gappUWBbHwsTUSy3ZAX834KjT365SxedlzIhEUA juLtpHj2ZVY5GT/KkQWK1ac/NBglawvuQ9LxmAsP16muMTIrd5p0Qxz8QYYdBV0zBJG2d1dI mJAbkl8J4iSzTVVlOxGU36mQQ1aNibE+Eark1otv0/aRnmOSWbiAjAcO+GM3UZB6ENaXGFR0 4+5wVbfcwTBXZ/OzA4tf096utrfTdBV3S/TqvCNRsiqMcEzXmv4v/WIe2ENlSrCPeowo0/2/ c9R4+d6bPzABx46+qEUJdGT6uUNdUqiOmdHfPBG+ZEJF0H6fBWZ+2CHC2K1S/N3C836y22KI O0wGZsXTDW77jiEkR4DD61VI7NUou8g1OBfRpzVf1w5o5mthRs3lqKI7SXvpn4Zc/M3m+YHF 47hXTajEGuRuHhqp1HwvPR0YlSfX91VSzD/jcaU8foIHa0tqOtDU18/+ZrqsmS3MDlIxQO1v gTCVfWPz+Vd1pldxdrwM6RcBjebLcH4e/SI/TuS7fVPT4LrGuXfuzwFrmLIO1xtAoIQfNBsh JKxv8XSzmqcmJoLC0XihIimO4xSwMeDTM57E5nQEiFBvC2gXMTM3UMyy1qgI8YUrOIHt9iVe QSoTeCRK/sHUMh5719IYXF8Fx09NfzGXp34r3ngk8XWWwkv6i2ZHtaJ7nSzUHp6cBUPMJjAC gPZnfaiy9RbjYZUDi8/GPBULM5kEWDnRJcZWYX9hRuAAkmsp2GyiL/ouB4jyDPMU3e6SZewp dqPQxXlbx29tZ3Z1NwT4cQ4ohQTC207muUqOF4U/9ltkT2hEWoaNqInPI4bDo1P2DnHvH0ii OohsEN5Yck8YdhFTfk4yNHqXwPaC+5Xf9mkf3om+ESbbyrwD4SFaFekGuGM/F8uEgYPDsn+Q T3dxpE0Fhe0y5BtA+0U45RXRM95k+jCyCtgFV/VyqTP7tV3PVnO/HNkFQtJEyfAFqkhUakNy XcdHQh5fa1wdaI9/QuMtZKY9NH1cQ4DFwkVUBo=
  • Ironport-hdrordr: A9a23:zgOqxasaA9FlxFOj23Gq7YXo7skDXtV00zEX/kB9WHVpm6uj5q STdZUgpHrJYVMqMk3I9urwXpVoLUmslqKdn7NhRYtKLTOW31dARbsKheCD/9SJIUzDH4VmpN 5dmsZFeabN5JtB4foSIjPULz5lreP3kpxASd2w854Ud3ARV0io1WlENjo=
  • Ironport-phdr: A9a23:2OCmWRT+b4Avi3k6CzL6tZk+Ltpsop2VAWYlg6HPa5pwe6iut67vI FbYra00ygOTAMOBuqIP0reempujcFJDyK7JiGoFfp1IWk1NouQttCtkPvS4D1bmJuXhdS0wE ZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZrKeTpAI7SiNm82/yv95HJbAhEmjqwbalsI BiyrgjdudQajIt/Iast1xXFpWdFdOtRyW50P1yYggzy5t23/J5t8iRQv+wu+stdWqjkfKo2U KJVAi0+P286+MPkux/DTRCS5nQHSWUZjgBIAwne4x7kWJr6rzb3ufB82CmeOs32UKw0VDG/5 KplVBPklCEKPCM//WrKiMJ/kbhbrQqhqRNjzIDbb4+bOud9cK3Det0XXnZBXt9UVyBdAoOwc 5UDAuwcNuhYtYn9oF4OoAO5CwmtB+Pg1CJDiXDr1qA91uQhEALG0xI4H9IQrnvUqtP1ObwdU eCw1qbIzDHDY+lK1jf67YjFaxYsquyDUrxsa8Te01UvFx/bgVWKr4zoJzOb2/oDvmSF7+RsS /+jhWEopQ1tvzShyckih5fXio8X1l3K9SV0zYUpKdC4VEJ1YcCpHIVMuy2HNoZ7X8MvTn1ut S0nybMGoYa2cDYWxJkj3RLSaPyKf5KW7h7+V+udOzd1iG99dL6iiBu/8VKsxvDgWsWpylpHo TRJnsPRun0O2RHe7NWMROFn8Ue7wzmP0hje6uFaLkAwkqrWM5shzaQxlpoXqEjMAC32lFjvg K+Ydkgo5/Kk6+vgYrXhqZ+cM5F7hhviPaQpn8yzGeU4Mg4QUGiH4emwyqHv8EnjTLhJjvA6i LfVvI3ZKMgBpqO1HhdZ0oM55Ba+Czem3s4YnX4CLF9dfRKHjovpNE/WIPDmE/i/hVKsnSxkx /DDJLLhA5HNImLfn7fmeLZx80hcxxErwtBF+51UEq0BIO70WkLpqdDUFgU5PBCsw+b7FNV90 ZsTVn6AAqCDNKPeqEKH5uM0I+aQeY8Voy39JuM+5//uiH85gUUScbOo3ZsRcnC4H+5pL1+XY Xr20Z89FjIBsQM6CeDrk1afSiV7ZnCoXqt66CtoJpihCNLmR4OgyILJiCK6HZBOeG1ADHiDF H7pc8OPXPJaO3HaGdNojjFRDevpcIQmzxz77GcSqpJiJ+vQoGgDsI77kcJy7KvVnA0z8jp9C 4Kc1XuMRid6hDBAXCc4iYZ4p0E10VKfye5gmfUNEN1Q6utXXwE8HZHZxu1+Tdv1X1GJZc+HH W6vWc7uGjQtVpQ0yt4KbVx6HoCnjxPOxzSnBbk9mLmCBZhy+aXZjDDqP8go7XHA2eE6ikU+B MtCMWrznqlk6w3aHJLEiW2cnqeuMKkehWvDqT7Fwm2Js0VVFgV3VM0pRFg5YU3b5ZT870LGF fq1DKg/dxFGwoiEI7dLbdvgiRNHQu3iMZLQeTD5nWD4HhuOyr6WCeiiM2wAwCXQDlQFmAEP7 D6HMwY5HCKov2PZCnRnC1vuZ0rm9eQ2pmm8Swc4yASDbksp0LTQmFZdgP2fRusN07QCkCgko jRwWl262pOeCtaNoRZgYLQJeck0sx9M0WPUsRA4P4T1dfgzwA5DNV4u7wWzjkYSaM0Ii8Uho XI0wRAnLKuZ1AkEbDaExdXqPbaRLGDu/RepYqqQ21fE0d/Q9L1cjZZw41jlogytEVIvtnt91 NwAmX6d5ZjSEgcUV7r+V082815xoLSQMUxfr8vEkGZhN6W5qGqI3tMqCfM7xxCmV9haOaKAU gT1FodJT9jrI+sslV+zaxsCN+0H7684MfStcP6e0bKqNuJt9N6/pVxO+5s1kkeF9i4mD/XNw 45A2faTmA2OSzb7il6l9MHxg4FNIz8ITCKzzi3tBYgZYaMXH85DDGatLtWpy9N4r5HoUn9cs lWkAhsK1dSodhybc1HmlVcIhAJH/Dr9wHv+kmU8miphtqeF2S3S3+nuEXhPcnVGQmVvlxakI IS5icwbQFn9agEokBW/4kOpj6Nfpal5MyzSWRISJ3mwfzwkCPLg8OfbMKstoNsyvC5aUfqxe wWfQ7/5+V4B1j/7WnFZz3Y9fi2rvZPwm1p7jnicJTB9tim8G4k4yBHB6djbXfMU0CABQXwyj DjUC0CiMt+v1dqRnpbH9Ou5UijyM/8bOTmu1o6GuCahsCdvAB6yh+6+nNvPHg0z0Cu93N5vH 3atzl60cszg0KK0Nvhid09jCQrn6sZ0LYp5l5M5mJAa3XVJzoXQ53cMln3/dMlKwa+rJmRYX iYFmpSGhWqtkF0mNH+CwJj1E2mQ0tc0LcfveXsYg2o895wYU/rSte0c23Ep/Rzg6liNKfllw mVDlb10syVc2r9R/lJql3T4YPhaHFEEb3Ky0U3QtZbm6v0QPj7ncKDshhQg24r9XffS+kcEH yyhMpY6QX0vtIMmbBSVgSe1ssa9KLyyJZoSrkHGzEuG1rIIbsp3zr1T22JmIT6v5CV1jbdk0 lo+m8n95tHPKn0xrvvmWVgBZ2GzP4VLvWiz6MQW1seOg9L1RsQnSmhNBcG4C6rvSW1atOy7Z VzXTnth+jHCSOCZRUjGuQ9nty6dScn1cSvMdT9Cl5M6A0DMQS4XyBYdWDFw9nIgPiatwsGpM EJw5zRLo0X9tgMJ0OVjcR/2TmbYog6sLDYyUpmWahRMvElE4A/OPMqS4/gWfWkQ94C9rAGLN m2QZhhZRWAPVEueAln/P76ordDe+umcD+C6IrPAe7KL4eBZUv6Jw9qo3O4Et36UMd6TO3B5E /Ah8k9KXHQ8FsaA3jtSEmoYkCXCa8PdrxC5u2V2os257PX3SVfv6I+IWN4weZ1k/xG7h7vGN vbF3n4ob2YFkMlVlTmVket6vhZakSxlejizHK5VsCfMSPiVgapLF1sBbCg1MsJU7qU61w0LO MjBi9qz2KQr65x9Q1pDS1HlndmkIMIQJGToflbGB0uTKrmAIxXExsj2ZeW3Trga34A2/1Wg/ C2WFUPuJGHJjz7ySxWmKv1BlgmeNR1a/Yy/K1NjVDGlQ9XhZRm2dtRwiHdlpN98zmOPPmkaP z9mdkpLpbDF9iJUjMJ0HGlZ52ZkJ+2J8858x+bdI5cS9/BsB3Ys/wq7yHEzyr8Q4SMdAfIow W3dqdlhp1zgme6KmGIPuPVmpTNChYbNtkJna/yxyw==
  • Ironport-sdr: 643e61d4_seXmKkI+MF5vaCz5d3nLAdH+dueq9nj7iM18lg/jbajmTYn uy+oGQdU6j0inqjgDkrBSlf0ccbimp/y6X+gxlQ==

Hello,

The issue I mentioned in my previous email has been resolved after discussion
with Guillaume Damiand. I am facing a broader issue with my code. I am using
CGAL to perform mechanical simulations, and I am finding irreproducible
results (significantly different positions, not just the ordering of the
vertices), even with fixed compilation flags and random number generation.
This suggests that I am reading from invalid or uninitialized memory.

I was able to reduce the error (push back the disagreement to a later time
step) by finding a place where I used a Iterator to index into a map whose
keys were Handles. I suspect that I am doing this elsewhere, but it is hard
to find it. This earlier mistake gave no errors when compiling (with regards
to type mismatch), and running the code through Valgrind and Dr. Memory
states that there are no leaks/ invalid reads and writes (I had to disable
rounding checks to get these to work). Oddly enough, when I look at the
output of running my code through Valgrind, the results are consistent across
different compilation methods and different from executing the debug and
release builds without Valgrind.

I can go through my code, searching for all instances where I use a map or
try to read memory and place a bunch of assertions there, but this is time
consuming, and it would be nice if there was a systematic tool I could use to
help find these errors. Does anyone have experience using tools to debug
these kinds of issues in CGAL code? Is there software/ options you could
recommend?

I appreciate any advice on this.

Thank you,

Mike


Archive powered by MHonArc 2.6.19+.

Top of Page