Commit 686ba841 authored by Daniel Stenberg's avatar Daniel Stenberg
Browse files

James Bursa's fix to make this deal with malloc(0) as OK to free()

parent 3394c018
Loading
Loading
Loading
Loading
+1 −1
Original line number Diff line number Diff line
@@ -88,7 +88,7 @@ while(<FILE>) {

        if($function =~ /free\(0x([0-9a-f]*)/) {
            $addr = $1;
            if($sizeataddr{$addr} == 0) {
            if(!exists $sizeataddr{$addr}) {
                print "FREE ERROR: No memory allocated: $line\n";
            }
            elsif(-1 == $sizeataddr{$addr}) {