Re: [PATCH] coccinelle: assign signed result to unsigned variable

From	SF Markus Elfring <elfring@users.sourceforge.net>
Newsgroups	linux.kernel
Subject	Re: [PATCH] coccinelle: assign signed result to unsigned variable
Date	2015-09-26 17:30 +0200
Message-ID	<qcZAd-3T8-7@gated-at.bofh.it> (permalink)
References	(6 earlier) <qcUhb-4BB-9@gated-at.bofh.it> <qcUqR-4MN-1@gated-at.bofh.it> <qcUqR-4MN-13@gated-at.bofh.it> <qcW9j-7jw-7@gated-at.bofh.it> <qcYb8-1Kf-5@gated-at.bofh.it>
Organization	linux.* mail to news gateway

Show all headers | View raw

> It doesn't matter, as long as the type is available.

I suggest to make the circumstances better known when this will be the case.


>> How do you think about reuse another data type enumeration there?
> 
> No idea what you mean by this.

A SmPL variable can also be connected with a data type list which is
discussed here.


>> How would you like to manage names for functions which are not defined
>> in the current source file?
> 
> Why does it matter in this case?

* Will a command-line parameter like "--include-headers-for-types"
  be needed here?

* Would it make sense to work with function name lists in SmPL constraints?


Will any fine-tuning be needed for the execution speed of the evolving
source code analysis?

Regards,
Markus
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/

Thread

[PATCH] coccinelle: assign signed result to unsigned variable Andrzej Hajda <a.hajda@samsung.com> - 2015-09-24 15:00 +0200
  Re: [PATCH] coccinelle: assign signed result to unsigned variable SF Markus Elfring <elfring@users.sourceforge.net> - 2015-09-24 18:00 +0200
    Re: [PATCH] coccinelle: assign signed result to unsigned variable Andrzej Hajda <a.hajda@samsung.com> - 2015-09-25 12:10 +0200
      Re: [PATCH] coccinelle: assign signed result to unsigned variable SF Markus Elfring <elfring@users.sourceforge.net> - 2015-09-25 18:00 +0200
      Re: [PATCH] coccinelle: assign signed result to unsigned variable SF Markus Elfring <elfring@users.sourceforge.net> - 2015-09-26 09:50 +0200
        Re: [PATCH] coccinelle: assign signed result to unsigned variable Julia Lawall <julia.lawall@lip6.fr> - 2015-09-26 11:10 +0200
          Re: [PATCH] coccinelle: assign signed result to unsigned variable SF Markus Elfring <elfring@users.sourceforge.net> - 2015-09-26 11:50 +0200
            Re: [PATCH] coccinelle: assign signed result to unsigned variable Julia Lawall <julia.lawall@lip6.fr> - 2015-09-26 11:50 +0200
              Re: [PATCH] coccinelle: assign signed result to unsigned variable SF Markus Elfring <elfring@users.sourceforge.net> - 2015-09-26 12:00 +0200
                Re: [PATCH] coccinelle: assign signed result to unsigned variable Julia Lawall <julia.lawall@lip6.fr> - 2015-09-26 12:00 +0200
                Re: [PATCH] coccinelle: assign signed result to unsigned variable SF Markus Elfring <elfring@users.sourceforge.net> - 2015-09-26 13:50 +0200
                Re: [PATCH] coccinelle: assign signed result to unsigned variable Julia Lawall <julia.lawall@lip6.fr> - 2015-09-26 16:00 +0200
                Re: [PATCH] coccinelle: assign signed result to unsigned variable SF Markus Elfring <elfring@users.sourceforge.net> - 2015-09-26 17:30 +0200
                Re: [PATCH] coccinelle: assign signed result to unsigned variable Julia Lawall <julia.lawall@lip6.fr> - 2015-09-26 17:40 +0200
                Re: [PATCH] coccinelle: assign signed result to unsigned variable SF Markus Elfring <elfring@users.sourceforge.net> - 2015-09-26 18:00 +0200
                Re: [PATCH] coccinelle: assign signed result to unsigned variable Julia Lawall <julia.lawall@lip6.fr> - 2015-09-26 18:00 +0200
                Re: [PATCH] coccinelle: assign signed result to unsigned variable SF Markus Elfring <elfring@users.sourceforge.net> - 2015-09-26 18:10 +0200
          [PATCH v2] coccinelle: assign signed result to unsigned variable Andrzej Hajda <a.hajda@samsung.com> - 2015-09-28 13:00 +0200
            Re: [PATCH v2] coccinelle: assign signed result to unsigned  variable Julia Lawall <julia.lawall@lip6.fr> - 2015-09-28 13:40 +0200
              Re: [PATCH v2] coccinelle: assign signed result to unsigned variable Andrzej Hajda <a.hajda@samsung.com> - 2015-09-28 14:10 +0200
                Re: [PATCH v2] coccinelle: assign signed result to unsigned  variable Julia Lawall <julia.lawall@lip6.fr> - 2015-10-01 00:00 +0200
            Re: [PATCH v2] coccinelle: assign signed result to unsigned variable SF Markus Elfring <elfring@users.sourceforge.net> - 2015-09-28 14:10 +0200
              Re: [PATCH v2] coccinelle: assign signed result to unsigned variable Andrzej Hajda <a.hajda@samsung.com> - 2015-09-28 14:20 +0200
                Re: [PATCH v2] coccinelle: assign signed result to unsigned variable SF Markus Elfring <elfring@users.sourceforge.net> - 2015-09-28 14:30 +0200
                Re: [Cocci] [PATCH v2] coccinelle: assign signed result to unsigned  variable Julia Lawall <julia.lawall@lip6.fr> - 2015-09-28 14:50 +0200
                Re: [Cocci] [PATCH v2] coccinelle: assign signed result to unsigned  variable SF Markus Elfring <elfring@users.sourceforge.net> - 2015-09-28 15:00 +0200
                Re: [Cocci] [PATCH v2] coccinelle: assign signed result to unsigned  variable Julia Lawall <julia.lawall@lip6.fr> - 2015-09-28 15:20 +0200
                Re: [Cocci] [PATCH v2] coccinelle: assign signed result to unsigned  variable SF Markus Elfring <elfring@users.sourceforge.net> - 2015-09-28 16:00 +0200
                Re: [Cocci] [PATCH v2] coccinelle: assign signed result to unsigned  variable Julia Lawall <julia.lawall@lip6.fr> - 2015-09-28 17:10 +0200
            Re: [PATCH v2] coccinelle: assign signed result to unsigned  variable Julia Lawall <julia.lawall@lip6.fr> - 2015-10-03 09:10 +0200

csiph-web