Comments (5)
The warnings from objcopy
can probably be ignored (see travitch/whole-program-llvm#75). On Ubuntu 19.04, with LLVM 7, I don't see them, but I've seen them before on Fedora.
from rchk.
I'm also now seeing this core dump :
$ ../scripts/check_package.sh data.table
../scripts/check_package.sh: line 77: 6839 Aborted (core dumped) $RCHK/src/$T ./src/main/R.bin.bc $F > $FOUT 2>&1
$ cat packages/lib/data.table/libs/*check
ERROR: too many states (abstraction error?) in function assign
RCHK assertion failed: ct, in function getCalledAndWrappedFunctions at callocators.cpp:560
$
That function (assign) is indeed quite complicated and I can look into simplifying it. Is there anything specific to look for in my function, or is there a chance this could be a problem on the rchk side.
from rchk.
With CRAN version data.table_1.12.2 I get a similar but slightly different error (still core dump).
$ ../scripts/check_package.sh data.table
../scripts/check_package.sh: line 77: 6763 Aborted (core dumped) $RCHK/src/$T ./src/main/R.bin.bc $F > $FOUT 2>&1
mdowle@MattsMac:~/build/rchk/trunk$ cat packages/lib/data.table/libs/*check
ERROR: too many states (abstraction error?) in function assign
ERROR: too many states (abstraction error?) in function dogroups
ERROR: too many states (abstraction error?) in function rbindlist
RCHK assertion failed: ct, in function getCalledAndWrappedFunctions at callocators.cpp:560
WARNING Suspicious call (two or more unprotected arguments) to R_compute_identical at rbindlist /home/mdowle/build/rchk/trunk/packages/build/oAOFp743/data.table/src/rbindlist.c:310
mdowle@MattsMac:~/build/rchk/trunk$
from rchk.
I've fixed the segfault, it was a bug in rchk. Thanks for the report!
from rchk.
Thanks @kalibera! I'll refresh and confirm. [Update: yes that fixed it. Thanks again!]
Ok I'll ignore objcopy warnings. For completeness, I'm on Ubuntu 18.04 (a year older than you) but with LLVM 7 too.
from rchk.
Related Issues (20)
- linking module flags 'PIC Level': IDs have conflicting values HOT 3
- error building on ubuntu 18.04 HOT 8
- Problems building/running on Gentoo HOT 3
- Puzzled about "results will be incomplete" HOT 1
- Is it possible to restrict the analysis to certain functions only? HOT 1
- False positive for conditional protection HOT 3
- ... as it has address taken, results will be incomplete ... HOT 10
- Warnings compiling rchk HOT 1
- Run check on a local package HOT 1
- protect stack is too deep/unsupported form of unprotect HOT 7
- ERROR: too many states (abstraction error?) in function strptime_internal HOT 1
- Local ~/.Rprofile may break singularity image HOT 1
- Local results from run with singularity differ from CRAN results HOT 2
- Container always checking CRAN version instead of local tarball HOT 1
- Installation (Fedora 34): missing `llvm/Support/StringPool.h` HOT 4
- Incorrect analysis around C++ constructors and destructors HOT 4
- Values protected by assignment HOT 10
- Can we let rchk know that a function preserves its argument? HOT 7
- Explicit protection cancels implicit protection HOT 2
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from rchk.