| commit | b6a702349657cb4db5599f25ef5844339e491d30 | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Wed, 3 Apr 2013 08:46:51 +0000 (3 11:46 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Wed, 3 Apr 2013 08:46:51 +0000 (3 11:46 +0300) | ||
| tree | 5f430a31c5ec555feda7c3ecbeff0a999148581e | treesnapshot (tar.gz zip) |
| parent | b5ed545c9499874378324e65f531dc470a487c35 | commitdiff |
flow: create fake assignments for array declarations
When arrays are initialized:
int x[] = {3, 2, 1};
This creates some fake assignment expressions like:
x[0] = 3;
x[1] = 2;
x[2] = 1;
It's not especially useful because smatch_extra.c ignores array values as
too complicated to track. But it's a step in the right direction.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
When arrays are initialized:
int x[] = {3, 2, 1};
This creates some fake assignment expressions like:
x[0] = 3;
x[1] = 2;
x[2] = 1;
It's not especially useful because smatch_extra.c ignores array values as
too complicated to track. But it's a step in the right direction.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch_flow.c | diffblobblamehistory |