[PATCH] D50488: [Analyzer] Checker for non-determinism caused by sorting of pointer-like elements

[Mandeep Singh Grang via Phabricator via cfe-commits]

mgrang added a comment.

In D50488#1407695 <https://reviews.llvm.org/D50488#1407695>, @Charusso wrote:

> bitcoin:
>
>   sudo apt-get install build-essential libtool autotools-dev automake pkg-config libssl-dev libevent-dev bsdmainutils python3 libboost-all-dev software-properties-common libminiupnpc-dev libzmq3-dev libqt5gui5 libqt5core5a libqt5dbus5 qttools5-dev qttools5-dev-tools libprotobuf-dev protobuf-compiler
>   sudo add-apt-repository ppa:bitcoin/bitcoin
>   sudo apt-get update
>   sudo apt-get install libdb4.8-dev libdb4.8++-dev
>  
>   git clone https://github.com/bitcoin/bitcoin.git
>   cd bitcoin
>  
>   ./autogen.sh
>   ./configure
>   CodeChecker log -b "make -j13" -o compile_commands.json
>
>
> xerces:
>
>   wget http://www-eu.apache.org/dist//xerces/c/3/sources/xerces-c-3.2.2.tar.gz
>   tar xf xerces-c-3.2.2.tar.gz
>   mv xerces-c-3.2.2 xerces
>   rm xerces-c-3.2.2.tar.gz
>   cd xerces
>  
>   ./configure
>   CodeChecker log -b "make -j13" -o compile_commands.json
>
>
> where `-j13` means 13 threads.


Thanks @Charusso . I have already tried these steps.

By running just ./configure I get this error:

  configure: error: cannot figure out how to use std::atomic

Instead, this is the configure command I use for bitcoin:

  ./configure --disable-wallet CFLAGS='-target x86_64-linux-gnu -L /usr/lib/x86_64-linux-gnu -B /usr/lib/x86_64-linux-gnu -B /usr/lib/gcc/x86_64-linux-gnu/5 -L /usr/lib/gcc/x86_64-linux-gnu/5 -I /usr/include/c++/5 -I /usr/include/x86_64-linux-gnu/c++/5' CXXFLAGS='-target x86_64-linux-gnu -L /usr/lib/x86_64-linux-gnu -B /usr/lib/x86_64-linux-gnu -B /usr/lib/gcc/x86_64-linux-gnu/5 -L /usr/lib/gcc/x86_64-linux-gnu/5 -I /usr/include/c++/5 -I /usr/include/x86_64-linux-gnu/c++/5'

And then I hit this:

  configure: error: Could not link against boost_filesystem !


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D50488/new/

https://reviews.llvm.org/D50488