[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#1397721 <https://reviews.llvm.org/D50488#1397721>, @xazax.hun wrote:

> In D50488#1395483 <https://reviews.llvm.org/D50488#1395483>, @mgrang wrote:
>
> > Reviving this now that I have some cycles to work on this.
> >
> > So I tried running this on csa-testbench projects but I didn't have much success. I always run into a bunch of build/env related errors:
> >
> >   python run_experiments.py --config myconfig.json
> >  
> >   15:05:20 [libcxx] Checking out project... 
> >   [ERROR] Unknown option: json
> >  
> >   15:05:22 [libcxx] LOC: ?.
> >   15:05:22 [libcxx] Generating build log... 
> >   15:05:22 [libcxx_master] Analyzing project... 
> >   [ERROR] Traceback (most recent call last):
> >     File "/local/mnt/workspace/mgrang/comm_analyzer/CodeChecker/cc_bin/CodeChecker.py", line 20, in <module>
> >       from shared.ttypes import RequestFailed
> >   ImportError: No module named shared.ttypes
> >
> >
> >
>
>
> Hi!
>
> Sorry for the late response. Does CodeChecker work for you (when not using the testbench)?
>  I think one of the most common reason for such errors is when we do not source the virtualenv of CodeChecker so the dependencies are not available.


I followed the instructions at https://github.com/Ericsson/codechecker and sourced the venv and here's what I see now:

  12:46:30 [libcxx] Checking out project... 
  [ERROR] Unknown option: json
  
  
  12:46:32 [libcxx] LOC: ?.
  12:46:32 [libcxx] Generating build log... 
  12:46:32 [libcxx_master] Analyzing project... 
  [ERROR] [ERROR 2019-02-14 12:46] - Connection failed.
  [ERROR 2019-02-14 12:46] - Connection refused
  [ERROR 2019-02-14 12:46] - [Errno 111] Connection refused
  [ERROR 2019-02-14 12:46] - Check if your CodeChecker server is running.
  
  12:46:34 [libcxx_master] Done. Storing results...
  12:46:35 [libcxx_master] Results stored.
  Traceback (most recent call last):
    File "run_experiments.py", line 482, in <module>
      main()
    File "run_experiments.py", line 470, in main
      post_process_project(project, source_dir, config, printer)
    File "run_experiments.py", line 355, in post_process_project
      runs = json.loads(stdout)
    File "/usr/lib/python2.7/json/__init__.py", line 339, in loads
      return _default_decoder.decode(s)
    File "/usr/lib/python2.7/json/decoder.py", line 364, in decode
      obj, end = self.raw_decode(s, idx=_w(s, 0).end())
    File "/usr/lib/python2.7/json/decoder.py", line 382, in raw_decode
      raise ValueError("No JSON object could be decoded")
  ValueError: No JSON object could be decoded


Repository:
  rC Clang

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

https://reviews.llvm.org/D50488