| ... | @@ -19,149 +19,102 @@ pub const MemCheckClientRequest = extern enum { | ... | @@ -19,149 +19,102 @@ pub const MemCheckClientRequest = extern enum { |
| 19 | DisableAddrErrorReportingInRange, | 19 | DisableAddrErrorReportingInRange, |
| 20 | }; | 20 | }; |
| 21 | | 21 | |
| 22 | fn doMemCheckClientRequestExpr(default: usize, request: MemCheckClientRequest, | 22 | fn doMemCheckClientRequestExpr(default: usize, request: MemCheckClientRequest, a1: usize, a2: usize, a3: usize, a4: usize, a5: usize) usize { |
| 23 | a1: usize, a2: usize, a3: usize, a4: usize, a5: usize | 23 | return valgrind.doClientRequest(default, @intCast(usize, @enumToInt(request)), a1, a2, a3, a4, a5); |
| 24 | ) usize | | |
| 25 | { | | |
| 26 | return valgrind.doClientRequest( | | |
| 27 | default, | | |
| 28 | @intCast(usize, @enumToInt(request)), | | |
| 29 | a1, a2, a3, a4, a5); | | |
| 30 | } | | |
| 31 | | | |
| 32 | fn doMemCheckClientRequestStmt(request: MemCheckClientRequest, | | |
| 33 | a1: usize, a2: usize, a3: usize, a4: usize, a5: usize | | |
| 34 | ) void | | |
| 35 | { | | |
| 36 | _ = doMemCheckClientRequestExpr(0, request, a1, a2, a3, a4, a5); | | |
| 37 | } | 24 | } |
| 38 | | 25 | |
| 39 | | 26 | fn doMemCheckClientRequestStmt(request: MemCheckClientRequest, a1: usize, a2: usize, a3: usize, a4: usize, a5: usize) void { |
| | 27 | _ = doMemCheckClientRequestExpr(0, request, a1, a2, a3, a4, a5); |
| | 28 | } |
| 40 | | 29 | |
| 41 | /// Mark memory at qzz.ptr as unaddressable for qzz.len bytes. | 30 | /// Mark memory at qzz.ptr as unaddressable for qzz.len bytes. |
| 42 | /// This returns -1 when run on Valgrind and 0 otherwise. | 31 | /// This returns -1 when run on Valgrind and 0 otherwise. |
| 43 | pub fn makeMemNoAccess(qzz: []u8) i1 { | 32 | pub fn makeMemNoAccess(qzz: []u8) i1 { |
| 44 | return @intCast(i1, doMemCheckClientRequestExpr(0, // default return | 33 | return @intCast(i1, doMemCheckClientRequestExpr(0, // default return |
| 45 | MemCheckClientRequest.MakeMemNoAccess, | 34 | MemCheckClientRequest.MakeMemNoAccess, @ptrToInt(qzz.ptr), qzz.len, 0, 0, 0)); |
| 46 | @ptrToInt(qzz.ptr), qzz.len, | | |
| 47 | 0, 0, 0)); | | |
| 48 | } | 35 | } |
| 49 | | 36 | |
| 50 | | | |
| 51 | /// Similarly, mark memory at qzz.ptr as addressable but undefined | 37 | /// Similarly, mark memory at qzz.ptr as addressable but undefined |
| 52 | /// for qzz.len bytes. | 38 | /// for qzz.len bytes. |
| 53 | /// This returns -1 when run on Valgrind and 0 otherwise. | 39 | /// This returns -1 when run on Valgrind and 0 otherwise. |
| 54 | pub fn makeMemUndefined(qzz: []u8) i1 { | 40 | pub fn makeMemUndefined(qzz: []u8) i1 { |
| 55 | return @intCast(i1, doMemCheckClientRequestExpr(0, // default return | 41 | return @intCast(i1, doMemCheckClientRequestExpr(0, // default return |
| 56 | MemCheckClientRequest.MakeMemUndefined, | 42 | MemCheckClientRequest.MakeMemUndefined, @ptrToInt(qzz.ptr), qzz.len, 0, 0, 0)); |
| 57 | @ptrToInt(qzz.ptr), qzz.len, | | |
| 58 | 0, 0, 0)); | | |
| 59 | } | 43 | } |
| 60 | | 44 | |
| 61 | | | |
| 62 | /// Similarly, mark memory at qzz.ptr as addressable and defined | 45 | /// Similarly, mark memory at qzz.ptr as addressable and defined |
| 63 | /// for qzz.len bytes. | 46 | /// for qzz.len bytes. |
| 64 | pub fn makeMemDefined(qzz: []u8) i1 { | 47 | pub fn makeMemDefined(qzz: []u8) i1 { |
| 65 | // This returns -1 when run on Valgrind and 0 otherwise. | 48 | // This returns -1 when run on Valgrind and 0 otherwise. |
| 66 | return @intCast(i1, doMemCheckClientRequestExpr(0, // default return | 49 | return @intCast(i1, doMemCheckClientRequestExpr(0, // default return |
| 67 | MemCheckClientRequest.MakeMemDefined, | 50 | MemCheckClientRequest.MakeMemDefined, @ptrToInt(qzz.ptr), qzz.len, 0, 0, 0)); |
| 68 | @ptrToInt(qzz.ptr), qzz.len, | | |
| 69 | 0, 0, 0)); | | |
| 70 | } | 51 | } |
| 71 | | 52 | |
| 72 | | | |
| 73 | /// Similar to makeMemDefined except that addressability is | 53 | /// Similar to makeMemDefined except that addressability is |
| 74 | /// not altered: bytes which are addressable are marked as defined, | 54 | /// not altered: bytes which are addressable are marked as defined, |
| 75 | /// but those which are not addressable are left unchanged. | 55 | /// but those which are not addressable are left unchanged. |
| 76 | /// This returns -1 when run on Valgrind and 0 otherwise. | 56 | /// This returns -1 when run on Valgrind and 0 otherwise. |
| 77 | pub fn makeMemDefinedIfAddressable(qzz: []u8) i1 { | 57 | pub fn makeMemDefinedIfAddressable(qzz: []u8) i1 { |
| 78 | return @intCast(i1, doMemCheckClientRequestExpr(0, // default return | 58 | return @intCast(i1, doMemCheckClientRequestExpr(0, // default return |
| 79 | MemCheckClientRequest.MakeMemDefinedIfAddressable, | 59 | MemCheckClientRequest.MakeMemDefinedIfAddressable, @ptrToInt(qzz.ptr), qzz.len, 0, 0, 0)); |
| 80 | @ptrToInt(qzz.ptr), qzz.len, | | |
| 81 | 0, 0, 0)); | | |
| 82 | } | 60 | } |
| 83 | | 61 | |
| 84 | | | |
| 85 | /// Create a block-description handle. The description is an ascii | 62 | /// Create a block-description handle. The description is an ascii |
| 86 | /// string which is included in any messages pertaining to addresses | 63 | /// string which is included in any messages pertaining to addresses |
| 87 | /// within the specified memory range. Has no other effect on the | 64 | /// within the specified memory range. Has no other effect on the |
| 88 | /// properties of the memory range. | 65 | /// properties of the memory range. |
| 89 | pub fn createBlock(qzz: []u8, desc: [*]u8) usize { | 66 | pub fn createBlock(qzz: []u8, desc: [*]u8) usize { |
| 90 | return doMemCheckClientRequestExpr(0, // default return | 67 | return doMemCheckClientRequestExpr(0, // default return |
| 91 | MemCheckClientRequest.CreateBlock, | 68 | MemCheckClientRequest.CreateBlock, @ptrToInt(qzz.ptr), qzz.len, @ptrToInt(desc), 0, 0); |
| 92 | @ptrToInt(qzz.ptr), qzz.len, @ptrToInt(desc), | | |
| 93 | 0, 0); | | |
| 94 | } | 69 | } |
| 95 | | 70 | |
| 96 | | | |
| 97 | /// Discard a block-description-handle. Returns 1 for an | 71 | /// Discard a block-description-handle. Returns 1 for an |
| 98 | /// invalid handle, 0 for a valid handle. | 72 | /// invalid handle, 0 for a valid handle. |
| 99 | pub fn discard(blkindex) bool { | 73 | pub fn discard(blkindex) bool { |
| 100 | return doMemCheckClientRequestExpr(0, // default return | 74 | return doMemCheckClientRequestExpr(0, // default return |
| 101 | MemCheckClientRequest.Discard, | 75 | MemCheckClientRequest.Discard, 0, blkindex, 0, 0, 0) != 0; |
| 102 | 0, blkindex, | | |
| 103 | 0, 0, 0) != 0; | | |
| 104 | } | 76 | } |
| 105 | | 77 | |
| 106 | | | |
| 107 | /// Check that memory at qzz.ptr is addressable for qzz.len bytes. | 78 | /// Check that memory at qzz.ptr is addressable for qzz.len bytes. |
| 108 | /// If suitable addressibility is not established, Valgrind prints an | 79 | /// If suitable addressibility is not established, Valgrind prints an |
| 109 | /// error message and returns the address of the first offending byte. | 80 | /// error message and returns the address of the first offending byte. |
| 110 | /// Otherwise it returns zero. | 81 | /// Otherwise it returns zero. |
| 111 | pub fn checkMemIsAddressable(qzz: []u8) usize { | 82 | pub fn checkMemIsAddressable(qzz: []u8) usize { |
| 112 | return doMemCheckClientRequestExpr(0, | 83 | return doMemCheckClientRequestExpr(0, MemCheckClientRequest.CheckMemIsAddressable, @ptrToInt(qzz.ptr), qzz.len, 0, 0, 0); |
| 113 | MemCheckClientRequest.CheckMemIsAddressable, | | |
| 114 | @ptrToInt(qzz.ptr), qzz.len, | | |
| 115 | 0, 0, 0); | | |
| 116 | } | 84 | } |
| 117 | | 85 | |
| 118 | | | |
| 119 | /// Check that memory at qzz.ptr is addressable and defined for | 86 | /// Check that memory at qzz.ptr is addressable and defined for |
| 120 | /// qzz.len bytes. If suitable addressibility and definedness are not | 87 | /// qzz.len bytes. If suitable addressibility and definedness are not |
| 121 | /// established, Valgrind prints an error message and returns the | 88 | /// established, Valgrind prints an error message and returns the |
| 122 | /// address of the first offending byte. Otherwise it returns zero. | 89 | /// address of the first offending byte. Otherwise it returns zero. |
| 123 | pub fn checkMemIsDefined(qzz: []u8) usize { | 90 | pub fn checkMemIsDefined(qzz: []u8) usize { |
| 124 | return doMemCheckClientRequestExpr(0, | 91 | return doMemCheckClientRequestExpr(0, MemCheckClientRequest.CheckMemIsDefined, @ptrToInt(qzz.ptr), qzz.len, 0, 0, 0); |
| 125 | MemCheckClientRequest.CheckMemIsDefined, | | |
| 126 | @ptrToInt(qzz.ptr), qzz.len, | | |
| 127 | 0, 0, 0); | | |
| 128 | } | 92 | } |
| 129 | | 93 | |
| 130 | /// Do a full memory leak check (like --leak-check=full) mid-execution. | 94 | /// Do a full memory leak check (like --leak-check=full) mid-execution. |
| 131 | pub fn doLeakCheck() void { | 95 | pub fn doLeakCheck() void { |
| 132 | doMemCheckClientRequestStmt(MemCheckClientRequest.DO_LEAK_CHECK, | 96 | doMemCheckClientRequestStmt(MemCheckClientRequest.DO_LEAK_CHECK, 0, 0, 0, 0, 0); |
| 133 | 0, 0, | | |
| 134 | 0, 0, 0); | | |
| 135 | } | 97 | } |
| 136 | | 98 | |
| 137 | /// Same as doLeakCheck() but only showing the entries for | 99 | /// Same as doLeakCheck() but only showing the entries for |
| 138 | /// which there was an increase in leaked bytes or leaked nr of blocks | 100 | /// which there was an increase in leaked bytes or leaked nr of blocks |
| 139 | /// since the previous leak search. | 101 | /// since the previous leak search. |
| 140 | pub fn doAddedLeakCheck() void { | 102 | pub fn doAddedLeakCheck() void { |
| 141 | doMemCheckClientRequestStmt(MemCheckClientRequest.DO_LEAK_CHECK, | 103 | doMemCheckClientRequestStmt(MemCheckClientRequest.DO_LEAK_CHECK, 0, 1, 0, 0, 0); |
| 142 | 0, 1, | | |
| 143 | 0, 0, 0); | | |
| 144 | } | 104 | } |
| 145 | | 105 | |
| 146 | | | |
| 147 | /// Same as doAddedLeakCheck() but showing entries with | 106 | /// Same as doAddedLeakCheck() but showing entries with |
| 148 | /// increased or decreased leaked bytes/blocks since previous leak | 107 | /// increased or decreased leaked bytes/blocks since previous leak |
| 149 | /// search. | 108 | /// search. |
| 150 | pub fn doChangedLeakCheck() void { | 109 | pub fn doChangedLeakCheck() void { |
| 151 | doMemCheckClientRequestStmt(MemCheckClientRequest.DO_LEAK_CHECK, | 110 | doMemCheckClientRequestStmt(MemCheckClientRequest.DO_LEAK_CHECK, 0, 2, 0, 0, 0); |
| 152 | 0, 2, | | |
| 153 | 0, 0, 0); | | |
| 154 | } | 111 | } |
| 155 | | 112 | |
| 156 | | | |
| 157 | /// Do a summary memory leak check (like --leak-check=summary) mid-execution. | 113 | /// Do a summary memory leak check (like --leak-check=summary) mid-execution. |
| 158 | pub fn doQuickLeakCheck() void { | 114 | pub fn doQuickLeakCheck() void { |
| 159 | doMemCheckClientRequestStmt(MemCheckClientRequest.DO_LEAK_CHECK, | 115 | doMemCheckClientRequestStmt(MemCheckClientRequest.DO_LEAK_CHECK, 1, 0, 0, 0, 0); |
| 160 | 1, 0, | | |
| 161 | 0, 0, 0); | | |
| 162 | } | 116 | } |
| 163 | | 117 | |
| 164 | | | |
| 165 | /// Return number of leaked, dubious, reachable and suppressed bytes found by | 118 | /// Return number of leaked, dubious, reachable and suppressed bytes found by |
| 166 | /// all previous leak checks. | 119 | /// all previous leak checks. |
| 167 | const CountResult = struct { | 120 | const CountResult = struct { |
| ... | @@ -172,34 +125,27 @@ const CountResult = struct { | ... | @@ -172,34 +125,27 @@ const CountResult = struct { |
| 172 | }; | 125 | }; |
| 173 | | 126 | |
| 174 | pub fn countLeaks() CountResult { | 127 | pub fn countLeaks() CountResult { |
| 175 | var res = CountResult { | 128 | var res = CountResult{ |
| 176 | .leaked = 0, | 129 | .leaked = 0, |
| 177 | .dubious = 0, | 130 | .dubious = 0, |
| 178 | .reachable = 0, | 131 | .reachable = 0, |
| 179 | .suppressed = 0, | 132 | .suppressed = 0, |
| 180 | }; | 133 | }; |
| 181 | doMemCheckClientRequestStmt(MemCheckClientRequest.CountLeaks, | 134 | doMemCheckClientRequestStmt(MemCheckClientRequest.CountLeaks, &res.leaked, &res.dubious, &res.reachable, &res.suppressed, 0); |
| 182 | &res.leaked, &res.dubious, | | |
| 183 | &res.reachable, &res.suppressed, | | |
| 184 | 0); | | |
| 185 | return res; | 135 | return res; |
| 186 | } | 136 | } |
| 187 | | 137 | |
| 188 | pub fn countLeakBlocks() CountResult { | 138 | pub fn countLeakBlocks() CountResult { |
| 189 | var res = CountResult { | 139 | var res = CountResult{ |
| 190 | .leaked = 0, | 140 | .leaked = 0, |
| 191 | .dubious = 0, | 141 | .dubious = 0, |
| 192 | .reachable = 0, | 142 | .reachable = 0, |
| 193 | .suppressed = 0, | 143 | .suppressed = 0, |
| 194 | }; | 144 | }; |
| 195 | doMemCheckClientRequestStmt(MemCheckClientRequest.CountLeakBlocks, | 145 | doMemCheckClientRequestStmt(MemCheckClientRequest.CountLeakBlocks, &res.leaked, &res.dubious, &res.reachable, &res.suppressed, 0); |
| 196 | &res.leaked, &res.dubious, | | |
| 197 | &res.reachable, &res.suppressed, | | |
| 198 | 0); | | |
| 199 | return res; | 146 | return res; |
| 200 | } | 147 | } |
| 201 | | 148 | |
| 202 | | | |
| 203 | /// Get the validity data for addresses zza and copy it | 149 | /// Get the validity data for addresses zza and copy it |
| 204 | /// into the provided zzvbits array. Return values: | 150 | /// into the provided zzvbits array. Return values: |
| 205 | /// 0 if not running on valgrind | 151 | /// 0 if not running on valgrind |
| ... | @@ -210,15 +156,9 @@ pub fn countLeakBlocks() CountResult { | ... | @@ -210,15 +156,9 @@ pub fn countLeakBlocks() CountResult { |
| 210 | /// impossible to segfault your system by using this call. | 156 | /// impossible to segfault your system by using this call. |
| 211 | pub fn getVbits(zza: []u8, zzvbits: []u8) u2 { | 157 | pub fn getVbits(zza: []u8, zzvbits: []u8) u2 { |
| 212 | std.debug.assert(zzvbits.len >= zza.len / 8); | 158 | std.debug.assert(zzvbits.len >= zza.len / 8); |
| 213 | return @intCast(u2, doMemCheckClientRequestExpr(0, | 159 | return @intCast(u2, doMemCheckClientRequestExpr(0, MemCheckClientRequest.GetVbits, @ptrToInt(zza.ptr), @ptrToInt(zzvbits), zza.len, 0, 0)); |
| 214 | MemCheckClientRequest.GetVbits, | | |
| 215 | @ptrToInt(zza.ptr), | | |
| 216 | @ptrToInt(zzvbits), | | |
| 217 | zza.len, | | |
| 218 | 0, 0)); | | |
| 219 | } | 160 | } |
| 220 | | 161 | |
| 221 | | | |
| 222 | /// Set the validity data for addresses zza, copying it | 162 | /// Set the validity data for addresses zza, copying it |
| 223 | /// from the provided zzvbits array. Return values: | 163 | /// from the provided zzvbits array. Return values: |
| 224 | /// 0 if not running on valgrind | 164 | /// 0 if not running on valgrind |
| ... | @@ -229,27 +169,17 @@ pub fn getVbits(zza: []u8, zzvbits: []u8) u2 { | ... | @@ -229,27 +169,17 @@ pub fn getVbits(zza: []u8, zzvbits: []u8) u2 { |
| 229 | /// impossible to segfault your system by using this call. | 169 | /// impossible to segfault your system by using this call. |
| 230 | pub fn setVbits(zzvbits: []u8, zza: []u8) u2 { | 170 | pub fn setVbits(zzvbits: []u8, zza: []u8) u2 { |
| 231 | std.debug.assert(zzvbits.len >= zza.len / 8); | 171 | std.debug.assert(zzvbits.len >= zza.len / 8); |
| 232 | return @intCast(u2, doMemCheckClientRequestExpr(0, | 172 | return @intCast(u2, doMemCheckClientRequestExpr(0, MemCheckClientRequest.SetVbits, @ptrToInt(zza.ptr), @ptrToInt(zzvbits), zza.len, 0, 0)); |
| 233 | MemCheckClientRequest.SetVbits, | | |
| 234 | @ptrToInt(zza.ptr), | | |
| 235 | @ptrToInt(zzvbits), | | |
| 236 | zza.len, | | |
| 237 | 0, 0)); | | |
| 238 | } | 173 | } |
| 239 | | 174 | |
| 240 | | | |
| 241 | /// Disable and re-enable reporting of addressing errors in the | 175 | /// Disable and re-enable reporting of addressing errors in the |
| 242 | /// specified address range. | 176 | /// specified address range. |
| 243 | pub fn disableAddrErrorReportingInRange(qzz: []u8) usize { | 177 | pub fn disableAddrErrorReportingInRange(qzz: []u8) usize { |
| 244 | return doMemCheckClientRequestExpr(0, // default return | 178 | return doMemCheckClientRequestExpr(0, // default return |
| 245 | MemCheckClientRequest.DisableAddrErrorReportingInRange, | 179 | MemCheckClientRequest.DisableAddrErrorReportingInRange, @ptrToInt(qzz.ptr), qzz.len, 0, 0, 0); |
| 246 | @ptrToInt(qzz.ptr), qzz.len, | | |
| 247 | 0, 0, 0); | | |
| 248 | } | 180 | } |
| 249 | | 181 | |
| 250 | pub fn enableAddrErrorReportingInRange(qzz: []u8) usize { | 182 | pub fn enableAddrErrorReportingInRange(qzz: []u8) usize { |
| 251 | return doMemCheckClientRequestExpr(0, // default return | 183 | return doMemCheckClientRequestExpr(0, // default return |
| 252 | MemCheckClientRequest.EnableAddrErrorReportingInRange, | 184 | MemCheckClientRequest.EnableAddrErrorReportingInRange, @ptrToInt(qzz.ptr), qzz.len, 0, 0, 0); |
| 253 | @ptrToInt(qzz.ptr), qzz.len, | | |
| 254 | 0, 0, 0); | | |
| 255 | } | 185 | } |