Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 916127 - sci-mathematics/cryptominisat-5.11.15 - One or more CMake variables were not used by the project:
Summary: sci-mathematics/cryptominisat-5.11.15 - One or more CMake variables were not ...
Status: CONFIRMED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All Linux
: Normal normal (vote)
Assignee: Gentoo Science Mathematics related packages
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2023-10-22 15:30 UTC by Toralf Förster
Modified: 2023-10-22 15:30 UTC (History)
0 users

See Also:
Package list:
Runtime testing required: ---


Attachments
emerge-info.txt (emerge-info.txt,18.17 KB, text/plain)
2023-10-22 15:30 UTC, Toralf Förster
Details
emerge-history.txt (emerge-history.txt,179.13 KB, text/plain)
2023-10-22 15:30 UTC, Toralf Förster
Details
etc.portage.tar.xz (etc.portage.tar.xz,23.89 KB, application/x-xz)
2023-10-22 15:30 UTC, Toralf Förster
Details
qlist-info.txt.xz (qlist-info.txt.xz,48.39 KB, application/x-xz)
2023-10-22 15:30 UTC, Toralf Förster
Details
sci-mathematics:cryptominisat-5.11.15:20231022-105942.log (sci-mathematics:cryptominisat-5.11.15:20231022-105942.log,543 bytes, text/plain)
2023-10-22 15:30 UTC, Toralf Förster
Details

Note You need to log in before you can comment on or make changes to this bug.
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