| commit | ef2206effe03463b7c3ec0737454f960ec307387 | |
| author | Dan Carpenter <error27@gmail.com> | |
| Sun, 17 May 2009 16:46:47 +0000 (17 19:46 +0300) | ||
| committer | Dan Carpenter <error27@gmail.com> | |
| Sun, 17 May 2009 16:46:47 +0000 (17 19:46 +0300) | ||
| tree | b627ef433511aa88f295aa046ee051470af16b20 | treesnapshot (tar.gz zip) |
| parent | 97efdbdd2e34fbec36353a3379f48b10788f706d | commitdiff |
Make the RAM limit more accurate and flexible.
Before smatch just used the count of sm_states allocated which was too
rough. Now it uses the actual RAM used. It also has a command line
option to override the default.
smatch --oom 500 (means Use only 500 Megs)
The other thing is the new way smatch calculates implications uses
too much memory... That's where we are running out.
Signed-off-by: Dan Carpenter <error27@gmail.com>
Before smatch just used the count of sm_states allocated which was too
rough. Now it uses the actual RAM used. It also has a command line
option to override the default.
smatch --oom 500 (means Use only 500 Megs)
The other thing is the new way smatch calculates implications uses
too much memory... That's where we are running out.
Signed-off-by: Dan Carpenter <error27@gmail.com>