Re: [4/5] widl: Rewrite of cant_be_null

[Alexandre Julliard]

Michael Karcher  writes:
> As Rob Shearman commented to my patch "Null-check pointers with [size_is]",
> the code flow in cant_be_null is non-obvious, the variable type check could
> be included into this function and last but not least it is buggy. This
> is a hopefully cleaner rewrite of this function, which still fixes the
> problem the original patch intended to fix, namely null-checking of pointers
> declared with size_is. This matches midl behaviour.

It still doesn't seem to be doing the right thing on the svcctl client
code. The current code matches widl for all functions except
QueryServiceStatusEx, yours has a lot more differences. I'd also suggest
adding some test cases for this.