flow: handle known switch statements
commitdb4c99425ab3ffa1fa49bcc252c8950db36ca968
authorDan Carpenter <error27@gmail.com>
Thu, 9 Jun 2011 21:37:42 +0000 (10 00:37 +0300)
committerDan Carpenter <error27@gmail.com>
Thu, 9 Jun 2011 21:37:42 +0000 (10 00:37 +0300)
treeadc5390caf03d7ae17f1582916134c775f39fd64
parentafaf527a0ebb6a48b612b6da3cbaf93ff081abbc
flow: handle known switch statements

It's quite common to have switch statements like this:

switch(CONFIG_FOO_NR) {

In this case CONFIG_FOO_NR is known at compile time so we can handle that
has a special case in the flow analysis and avoid some false positives.

Signed-off-by: Dan Carpenter <error27@gmail.com>
smatch_flow.c