cocci.inria.fr archive mirror

 messages from 2019-06-23 07:29:19 to 2019-08-28 11:50:49 UTC [more...]

[Cocci] Challenges around asterisk usage in SmPL code
 2019-08-28 11:50 UTC  (15+ messages)
      ` [Cocci] Searching for unary operations with SmPL
            ` [Cocci] Checking information from “--parse-cocci”
          ` [Cocci] Checking null pointer handling with SmPL

[Cocci] SmPL highlighting on GitHub and GitLab
 2019-08-28  7:40 UTC  (3+ messages)

[Cocci] [PATCH] scripts: coccinelle: check for !(un)?likely usage
 2019-08-25 21:19 UTC  (8+ messages)

[Cocci] Rule for turning !unlikely to likely
 2019-08-24 13:01 UTC  (3+ messages)

[Cocci] [PATCH v2 0/10] Symbol namespaces - RFC
 2019-08-14 12:20 UTC  (8+ messages)
  ` [Cocci] [PATCH v2 08/10] scripts: Coccinelle script for namespace dependencies
    ` [Cocci] [v2 "

[Cocci] [PATCH] floppy: fix usercopy direction
 2019-08-13  7:50 UTC  (8+ messages)
      ` [Cocci] "

[Cocci] Make rule depend on comment
 2019-08-09 15:07 UTC  (10+ messages)

[Cocci] Remove entire multidecl
 2019-08-09  6:33 UTC  (3+ messages)

[Cocci] [PATCH v5 0/3] Add error message to platform_get_irq*()
 2019-08-08  7:51 UTC  (7+ messages)
` [Cocci] [PATCH v5 3/3] coccinelle: Add script to check for platform_get_irq() excessive prints

[Cocci] How to match all conditions in if-else if blocks?
 2019-07-31 11:27 UTC  (2+ messages)

[Cocci] [PATCH v6 00/57] Add error message to platform_get_irq*()
 2019-07-31  8:23 UTC 

[Cocci] patch "coccinelle: Add script to check for platform_get_irq() excessive" added to driver-core-next
 2019-07-31  6:44 UTC 

[Cocci] [Fwd: [PATCH 1/2] string: Add stracpy and stracpy_pad mechanisms]
 2019-07-29 16:28 UTC  (24+ messages)
                    ` [Cocci] [PATCH 1/2] string: Add stracpy and stracpy_pad mechanisms
                        ` [Cocci] [1/2] "

[Cocci] [PATCH] coccinelle: api/atomic_as_refcounter: add SPDX License Identifier
 2019-07-25 11:21 UTC  (3+ messages)

[Cocci] [PATCH v4 0/3] Add error message to platform_get_irq*()
 2019-07-24 18:45 UTC  (8+ messages)
` [Cocci] [PATCH v4 3/3] coccinelle: Add script to check for platform_get_irq() excessive prints
      ` [Cocci] [v4 "

[Cocci] Coccinelle for Go
 2019-07-24 22:24 UTC  (5+ messages)

[Cocci] [v4 2/3] treewide: Remove dev_err() usage after platform_get_irq()
 2019-07-24 11:17 UTC 

[Cocci] force usage of stdbool in C programs
 2019-07-23 16:11 UTC  (2+ messages)

[Cocci] spatch inserting the following rule into the patch
 2019-07-22 14:54 UTC  (4+ messages)

[Cocci] How to write a pattern which crosses two functions?
 2019-07-20 10:11 UTC  (2+ messages)

[Cocci] [PATCH v3] coccinelle: semantic code search for missing of_node_put
 2019-07-18 12:54 UTC  (9+ messages)
    ` [Cocci] [v3] "
  ` [Cocci] [PATCH v3] coccinelle: semantic code search for missingof_node_put
` [Cocci] [v3] Coccinelle: semantic code search for “use after …”

[Cocci] [PATCH] scripts: coccinelle: add check for uncessary double unlikely() calls
 2019-07-15 19:50 UTC 

[Cocci] [PULL] stream_open bits for Linux 5.3
 2019-07-15  7:33 UTC  (2+ messages)

[Cocci] NULL pointer constraints vs. compiler checks
 2019-07-12 15:27 UTC  (2+ messages)

[Cocci] Compiling with OCaml 4.08
 2019-07-12 11:13 UTC  (2+ messages)

[Cocci] Coccinelle: Checking the deletion of duplicate of_node_put() calls with SmPL
 2019-07-10  5:55 UTC  (2+ messages)

[Cocci] Coccinelle: Handling of SmPL disjunctions
 2019-07-09  9:52 UTC 

[Cocci] How to write SmPL patch to handle for-each macros?
 2019-07-09  6:07 UTC  (2+ messages)

[Cocci] [PATCH 1/2] coccinelle: api/stream_open: treat all wait_.*() calls as blocking
 2019-07-07 18:20 UTC  (7+ messages)
` [Cocci] [PATCH 2/2] *: convert stream-like files -> stream_open, even if they use noop_llseek

[Cocci] [PATCH] coccinelle: api: add devm_platform_ioremap_resource script
 2019-07-07 12:38 UTC  (7+ messages)
        ` [Cocci] Coccinelle: "

[Cocci] [PATCH] coccinelle: put_device: reduce false positives
 2019-07-06 13:13 UTC  (6+ messages)
` [Cocci] [PATCH 0/5] Coccinelle: put_device: Adjustments for a SmPL script
  ` [Cocci] [PATCH 1/5] Coccinelle: put_device: Adjust a message construction
  ` [Cocci] [PATCH 2/5] Coccinelle: put_device: Add a cast to an expression for an assignment

[Cocci] [PATCH] Coccinelle: kstrdup: Fix typo in warning messages
 2019-07-06 12:18 UTC  (2+ messages)

[Cocci] Parse error on macro function declaration
 2019-07-05  7:51 UTC 

[Cocci] [PATCH v2] coccinelle: semantic code search for missing of_node_put
 2019-07-05  6:45 UTC  (17+ messages)
    ` [Cocci] [v2] "
    ` [Cocci] [PATCH v2] coccinelle: semantic code search for missingof_node_put
        ` [Cocci] [PATCH v2] coccinelle: semantic code search formissingof_node_put
      ` [Cocci] [v2] Coccinelle: Testing SmPL constraints
  ` [Cocci] 答复: Re: [PATCH v2] coccinelle: semantic code search for missingof_node_put

[Cocci] Pretty-printing of code for ternary operators?
 2019-07-04 12:05 UTC  (3+ messages)

[Cocci] [PATCH] Coccinelle: Add a SmPL script for the reconsideration of redundant dev_err() calls
 2019-07-01 12:47 UTC  (5+ messages)
` [Cocci] [PATCH v2] "
    ` [Cocci] [v2] Coccinelle: Suppression of warnings?

[Cocci] Moving exception handling code to the end of a function implementation with SmPL?
 2019-06-27 15:01 UTC  (8+ messages)

[Cocci] More precise distinction of types for source code searches?
 2019-06-26  8:36 UTC  (5+ messages)

[Cocci] [PATCH] --c++ --test will assume .cpp extension, not .c
 2019-06-26  6:04 UTC  (2+ messages)

[Cocci] Checking redundant variable initialisations with SmPL?
 2019-06-23 14:17 UTC  (14+ messages)