smatch_extra.c

   1 /*
   2
   3 1)  Name every path
   4     Child paths?
   5 2)  Save the path number in the state history
   6 3)  Possible value ranges
   7 4)  Binary, int, equal to another variable
   8 5)  When can we use this data?
   9
  10 */
  11
  12 static int my_id;
  13
  14 void register_smatch_extra(int id)
  15 {
  16         my_id = id;
  17 }