| commit | 9960e84cfe20a7b252d6bb821d955cd2707bca6b | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Fri, 7 Mar 2014 09:47:07 +0000 (7 12:47 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Fri, 7 Mar 2014 09:47:07 +0000 (7 12:47 +0300) | ||
| tree | 51e43419eeaba65f3f5dab7290b1acbfe3e0c576 | treesnapshot (tar.gz zip) |
| parent | a5d654e8e937da4ca25e8621cc55a59187299cad | commitdiff |
states: add another read_only check
This is just a sanity check, and it never gets triggered. I just added it
when I was trying to debug something else and I may as well leave it.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
This is just a sanity check, and it never gets triggered. I just added it
when I was trying to debug something else and I may as well leave it.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch_states.c | diffblobblamehistory |