search

system-pclub / GCatch

Statically Detecting Go Concurrency Bugs
GNU General Public License v2.0
435 stars 40 forks source link

internal error in pointer analysis #32

Open rockdaboot opened 3 years ago

rockdaboot commented 3 years ago

Sometimes this message appears (no idea what it means)

Error when querying all channel values:
 internal error in pointer analysis: node has no enclosing object (please report this bug)
jfreeland commented 2 years ago 
joey@gcatch:~$ ~/go/bin/GCatch -mod -mod-abs-path=go/src/github.com/hashicorp/boundary/cmd/boundary -mod-module-path=github.com/hashicorp/boundary/cmd/boundary -checker=BMOC:unlock:double:conflict:structfield:fatal:chSafety
Successfully built whole program. Now running checkers
Error when querying all channel values:
 internal error in pointer analysis: node has no enclosing object (please report this bug)
Exit. You are using the -mod flag, which only supports building and checking the specified program (and its dependencies)

Time of main(): seconds 162.841799484
joey@gcatch:~$

Note that BMOC was the only check that ran into problems when I ran against https://github.com/hashicorp/boundary. The other checks worked as intended.