Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!

Bug 916127

Summary: sci-mathematics/cryptominisat-5.11.15 - One or more CMake variables were not used by the project:
Product: Gentoo Linux Reporter: Toralf Förster <toralf>
Component: Current packagesAssignee: Gentoo Science Mathematics related packages <sci-mathematics>
Status: CONFIRMED ---    
Severity: normal    
Priority: Normal    
Version: unspecified   
Hardware: All   
OS: Linux   
Whiteboard:
Package list:
Runtime testing required: ---
Attachments: emerge-info.txt
emerge-history.txt
etc.portage.tar.xz
qlist-info.txt.xz
sci-mathematics:cryptominisat-5.11.15:20231022-105942.log

Description Toralf Förster gentoo-dev 2023-10-22 15:30:40 UTC
One or more CMake variables were not used by the project:
  NOM4RI
QA Notice: Package triggers severe warnings which indicate that it
           may exhibit random runtime failures.
/var/tmp/portage/sci-mathematics/cryptominisat-5.11.15/work/cryptominisat-5.11.15/src/solvertypesmini.h:67:16: warning: potential null pointer dereference [-Wnull-dereference]
Please do not file a Gentoo bug and instead report the above QA
issues directly to the upstream developers of this software.
Homepage: https://github.com/msoos/cryptominisat/

  -------------------------------------------------------------------

  This is an unstable amd64 chroot image at a tinderbox (==build bot)
  name: 23.0_desktop_gnome_systemd-20231019-181007

  -------------------------------------------------------------------

  The log matches a QA pattern or a pattern requested by a Gentoo developer.
Comment 1 Toralf Förster gentoo-dev 2023-10-22 15:30:41 UTC
Created attachment 873239 [details]
emerge-info.txt
Comment 2 Toralf Förster gentoo-dev 2023-10-22 15:30:42 UTC
Created attachment 873240 [details]
emerge-history.txt
Comment 3 Toralf Förster gentoo-dev 2023-10-22 15:30:43 UTC
Created attachment 873241 [details]
etc.portage.tar.xz
Comment 4 Toralf Förster gentoo-dev 2023-10-22 15:30:44 UTC
Created attachment 873242 [details]
qlist-info.txt.xz
Comment 5 Toralf Förster gentoo-dev 2023-10-22 15:30:45 UTC
Created attachment 873243 [details]
sci-mathematics:cryptominisat-5.11.15:20231022-105942.log