Re: [FAIL 0/5] Static lock analysis

2016-02-17 Thread Christopher Li
On Wed, Feb 17, 2016 at 1:51 AM, Daniel Wagner wrote: > > Maybe the first 3 patches might be okay to get merged. Yes, the first 3 looks simple and obvious correct. Chris

Re: [FAIL 0/5] Static lock analysis

2016-02-17 Thread Christopher Li
On Wed, Feb 17, 2016 at 1:51 AM, Daniel Wagner wrote: > > Maybe the first 3 patches might be okay to get merged. Yes, the first 3 looks simple and obvious correct. Chris

[FAIL 0/5] Static lock analysis

2016-02-17 Thread Daniel Wagner
Hi, Locking can be tricky to get right and sometimes things go wrong. This here is/was an attempt to come up with a simple static code analysis tool which tries to point to problematic looking. Especially figurering out if an access to variables wihtout holding the right lock is happenin was of

[FAIL 0/5] Static lock analysis

2016-02-17 Thread Daniel Wagner
Hi, Locking can be tricky to get right and sometimes things go wrong. This here is/was an attempt to come up with a simple static code analysis tool which tries to point to problematic looking. Especially figurering out if an access to variables wihtout holding the right lock is happenin was of