| commit | 61136e3935833f402e85f1d7cf47a513713d5cd5 | |
| author | Dan Carpenter <error27@gmail.com> | |
| Sat, 27 Mar 2010 16:01:38 +0000 (27 19:01 +0300) | ||
| committer | Dan Carpenter <error27@gmail.com> | |
| Sat, 27 Mar 2010 16:01:38 +0000 (27 19:01 +0300) | ||
| tree | 7f121342b7f982b6801a7aed3d1752d95b14ed7e | treesnapshot (tar.gz zip) |
| parent | d5994b0819260f947a8383ed86550a04a86dea33 | commitdiff |
handle select assigns: foo = a ? b : c;
We set up fake assignment a = b and a = c, calculate the slists for both
results, and merge them together.
Signed-off-by: Dan Carpenter <error27@gmail.com>
We set up fake assignment a = b and a = c, calculate the slists for both
results, and merge them together.
Signed-off-by: Dan Carpenter <error27@gmail.com>
| smatch.h | diffblobblamehistory | |
| smatch_conditions.c | diffblobblamehistory | |
| smatch_flow.c | diffblobblamehistory | |
| validation/sm_select_assign.c | [new file with mode: 0644] | blob |