Merge: new warning: useless null test
authorJean Privat <jean@pryen.org>
Mon, 13 Oct 2014 17:40:05 +0000 (13:40 -0400)
committerJean Privat <jean@pryen.org>
Mon, 13 Oct 2014 17:40:05 +0000 (13:40 -0400)
commit894c39ea5f61a591ba833bebf926c3d88fe278ba
tree7bee089c60ee978216d20aa01a70f0e057ea2f9c
parentff3bde9e1cd0e92d08166fc17373f6680c495f28
parentea80150448a1cf4bfc7627b23f7603c2144f33d5
Merge: new warning: useless null test

So, detect things like

~~~nit
var a = "Hello"
if a != null then print a
#   ^ useless null test!
~~~

Pull-Request: #817
Reviewed-by: Alexandre Terrasa <alexandre@moz-code.org>
src/interpreter/naive_interpreter.nit