| commit | f1a1ae7afe3ca5f639d93eae10a10ce9530e8c0f | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Wed, 22 Feb 2012 08:50:53 +0000 (22 11:50 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Wed, 22 Feb 2012 08:50:53 +0000 (22 11:50 +0300) | ||
| tree | 904b5d5999b8defe864056184290c16e9b047252 | treesnapshot (tar.gz zip) |
| parent | 1dac21a6cde83256a2edfe5d584afca6702898fd | commitdiff |
contraints: add option --debug-related
More infrastructure to debug constraints.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
More infrastructure to debug constraints.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch.c | diffblobblamehistory | |
| smatch.h | diffblobblamehistory | |
| smatch_constraints.c | diffblobblamehistory | |
| smatch_extra.c | diffblobblamehistory |