Powered by Linux
Re: Recent wave of additional false negative warnings? — Semantic Matching Tool

Re: Recent wave of additional false negative warnings?

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



On Aug 20, 2015, at 1:34 PM, Dan Carpenter wrote:

> On Thu, Aug 20, 2015 at 07:25:55AM -0400, Oleg Drokin wrote:
>> /home/green/smt/git/lustre-release/lustre/quota/qmt_entry.c | qmt_adjust_qunit | 244 |               |          1025 |   1 |         $->lqe_qunit |             0-u64max |
> 
> This line is saying the parameter gets set.  I'm not sure what went
> wrong.  I'll keep looking at it.  Also I will update smdb.py so that
> it replaces 1025 with PARAM_SET (pushed minutes ago).
> 
> Btw, even though the dt_trans_create() is inline, it should still be
> in the database.  Hopefully, if you rebuild the database it will see
> that that function never returns NULL and not print the warning message.

I tested with the full db rebuild and the warning is still there even though
dt_trans_create is in the database now (the dump is too big at 300+ lines),
but I filtered it a bit to just lfsck_layout.c:
/home/green/smt/git/lustre-release-test/lustre/lfsck/lfsck_layout.c | dt_trans_create | 491 | s64min-s64max |      INTERNAL |  -1 |                      |                      |
/home/green/smt/git/lustre-release-test/lustre/lfsck/lfsck_layout.c | dt_trans_create | 491 | s64min-s64max | UNTRACKED_PARAM |   0 |                    $ |                      |
/home/green/smt/git/lustre-release-test/lustre/lfsck/lfsck_layout.c | dt_trans_create | 491 | s64min-s64max | UNTRACKED_PARAM |   1 |                    $ |                      |
/home/green/smt/git/lustre-release-test/lustre/lfsck/lfsck_layout.c | dt_trans_create | 491 | s64min-s64max |   PARAM_LIMIT |   1 |                    $ | 4096-2117777777777777777 |
/home/green/smt/git/lustre-release-test/lustre/lfsck/lfsck_layout.c | dt_trans_create | 491 | s64min-s64max |   PARAM_LIMIT |   1 |            $->dd_ops | 4096-2117777777777777777 |
/home/green/smt/git/lustre-release-test/lustre/lfsck/lfsck_layout.c | dt_trans_create | 491 | s64min-s64max |   PARAM_LIMIT |   1 | $->dd_ops->dt_trans_create | s64min-(-1),1-s64max |
/home/green/smt/git/lustre-release-test/lustre/lfsck/lfsck_layout.c | dt_trans_create |            1026 |   1 |               $ |
/home/green/smt/git/lustre-release-test/lustre/lfsck/lfsck_layout.c | dt_trans_create |            1026 |   1 |       $->dd_ops |
/home/green/smt/git/lustre-release-test/lustre/lfsck/lfsck_layout.c | dt_trans_create |            1026 |   1 | $->dd_ops->dt_trans_create |
/home/green/smt/git/lustre-release-test/lustre/lfsck/lfsck_layout.c | dt_trans_create |            1026 |   0 |               $ |
/home/green/smt/git/lustre-release-test/lustre/lfsck/lfsck_layout.c | dt_trans_create |     DEREFERENCE |   1 |               $ |
/home/green/smt/git/lustre-release-test/lustre/lfsck/lfsck_layout.c | dt_trans_create |     DEREFERENCE |   1 |       $->dd_ops |

 

--
To unsubscribe from this list: send the line "unsubscribe smatch" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at  http://vger.kernel.org/majordomo-info.html



[Index of Archives]     [Linux USB Devel]     [Linux Audio Users]     [Yosemite News]     [Linux Kernel]     [Linux SCSI]     [Big List of Linux Books]

  Powered by Linux