cbmc 6.3.0

[tautschnig]

This is to replace #191202 as it requires removal of a prior patch.

• Have you followed the guidelines for contributing?
• Have you ensured that your commits follow the commit style guide?
• Have you checked that there aren't other open pull requests for the same formula update/change?
• Have you built your formula locally with HOMEBREW_NO_INSTALL_FROM_API=1 brew install --build-from-source <formula>, where <formula> is the name of the formula you're submitting?
• Is your test running fine brew test <formula>, where <formula> is the name of the formula you're submitting?
• Does your build pass brew audit --strict <formula> (after doing HOMEBREW_NO_INSTALL_FROM_API=1 brew install --build-from-source <formula>)? If this is a new formula, does it pass brew audit --new <formula>?

---

[carlocab]

Thanks!

[github-actions]

Thanks for contributing to Homebrew! 🎉 It looks like you're having trouble with a CI failure. See our contribution guide for help. You may be most interested in the section on dealing with CI failures. You can find the CI logs in the Checks tab of your pull request.

[carlocab]

Seems to fail with newer Clang:

  __libcheck.c:1138:55: error: member reference base type 'va_list' (aka 'char *') is not a structure or union
   1138 |   while((__CPROVER_size_t)__CPROVER_POINTER_OFFSET(arg.__stack) <
        |                                                    ~~~^~~~~~~~
  __libcheck.c:1139:34: error: member reference base type 'va_list' (aka 'char *') is not a structure or union
   1139 |         __CPROVER_OBJECT_SIZE(arg.__stack))
        |                               ~~~^~~~~~~~
  __libcheck.c:1196:55: error: member reference base type 'va_list' (aka 'char *') is not a structure or union
   1196 |   while((__CPROVER_size_t)__CPROVER_POINTER_OFFSET(arg.__stack) <
        |                                                    ~~~^~~~~~~~
  __libcheck.c:1197:34: error: member reference base type 'va_list' (aka 'char *') is not a structure or union
   1197 |         __CPROVER_OBJECT_SIZE(arg.__stack))
        |                               ~~~^~~~~~~~
  __libcheck.c:1342:55: error: member reference base type 'va_list' (aka 'char *') is not a structure or union
   1342 |   while((__CPROVER_size_t)__CPROVER_POINTER_OFFSET(arg.__stack) <
        |                                                    ~~~^~~~~~~~
  __libcheck.c:1343:34: error: member reference base type 'va_list' (aka 'char *') is not a structure or union
   1343 |         __CPROVER_OBJECT_SIZE(arg.__stack))
        |                               ~~~^~~~~~~~
  __libcheck.c:1386:55: error: member reference base type 'va_list' (aka 'char *') is not a structure or union
   1386 |   while((__CPROVER_size_t)__CPROVER_POINTER_OFFSET(arg.__stack) <
        |                                                    ~~~^~~~~~~~
  __libcheck.c:1387:34: error: member reference base type 'va_list' (aka 'char *') is not a structure or union
   1387 |         __CPROVER_OBJECT_SIZE(arg.__stack))
        |                               ~~~^~~~~~~~
  __libcheck.c:1831:54: error: member reference base type 'va_list' (aka 'char *') is not a structure or union
   1831 |   while((__CPROVER_size_t)__CPROVER_POINTER_OFFSET(ap.__stack) <
        |                                                    ~~^~~~~~~~
  __libcheck.c:1832:33: error: member reference base type 'va_list' (aka 'char *') is not a structure or union
   1832 |         __CPROVER_OBJECT_SIZE(ap.__stack))
        |                               ~~^~~~~~~~
  __libcheck.c:1837:67: error: member reference base type 'va_list' (aka 'char *') is not a structure or union
   1837 |       __CPROVER_POINTER_OBJECT(str) != __CPROVER_POINTER_OBJECT(ap.__stack),
        |                                                                 ~~^~~~~~~~
  __libcheck.c:1891:54: error: member reference base type 'va_list' (aka 'char *') is not a structure or union
   1891 |   while((__CPROVER_size_t)__CPROVER_POINTER_OFFSET(ap.__stack) <
        |                                                    ~~^~~~~~~~
  __libcheck.c:1892:33: error: member reference base type 'va_list' (aka 'char *') is not a structure or union
   1892 |         __CPROVER_OBJECT_SIZE(ap.__stack))
        |                               ~~^~~~~~~~
  __libcheck.c:1897:67: error: member reference base type 'va_list' (aka 'char *') is not a structure or union
   1897 |       __CPROVER_POINTER_OBJECT(str) != __CPROVER_POINTER_OBJECT(ap.__stack),
        |                                                                 ~~^~~~~~~~
  14 errors generated.

https://github.com/Homebrew/homebrew-core/actions/runs/10939506036/job/30370052416?pr=191209#step:3:1365

[tautschnig]

Seems to fail with newer Clang:

Err, thank you, we'll have to create a 6.3.1 bug-fixing release.

[carlocab]

Actually, it's not really a newer Clang. Seems to be specific to arm64, though no idea if it'll reproduce on Linux arm64.

[chenrui333]

#191262

[tautschnig]

Closing in favour of 191262.