cocci.inria.fr archive mirror

 messages from 2019-07-06 12:31:01 to 2019-09-12 14:33:30 UTC [more...]

[Cocci] const in parameter lists
 2019-09-12 14:33 UTC  (5+ messages)

[Cocci] continue statement of death?
 2019-09-12 13:37 UTC  (3+ messages)

[Cocci] Checking parsing difficulties around SmPL when constraints
 2019-09-11  9:09 UTC  (3+ messages)

[Cocci] Adjusting SmPL script “tests/nest3.cocci”?
 2019-09-11  8:28 UTC  (2+ messages)

[Cocci] Coccinelle: pci_free_consistent: Checking when constraints
 2019-09-09 10:40 UTC  (4+ messages)

[Cocci] Adjusting SmPL script “ptr_ret.cocci”?
 2019-09-07 16:40 UTC  (4+ messages)
  ` [Cocci] [PATCH] Coccinelle: Reduce rules in SmPL script “ptr_ret.cocci”

[Cocci] [PATCH] scripts: coccinelle: check for !(un)?likely usage
 2019-09-07  8:05 UTC  (25+ messages)
` [Cocci] [PATCH v2] "
      ` [Cocci] [v2] "

[Cocci] [PATCH -next] coccinelle: platform_get_irq: Fix parse error
 2019-09-06  6:59 UTC  (5+ messages)

[Cocci] [RFC PATCH] coccinelle: check for integer overflow in binary search
 2019-09-05 14:23 UTC  (6+ messages)

[Cocci] Matching variable declarations
 2019-09-05 14:08 UTC  (3+ messages)

[Cocci] [PATCH v2 0/10] Symbol namespaces - RFC
 2019-08-29 12:13 UTC  (9+ messages)
  ` [Cocci] [PATCH v2 08/10] scripts: Coccinelle script for namespace dependencies
    ` [Cocci] [v2 "
      ` [Cocci] [PATCH v3 08/11] "

[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] Rule for turning !unlikely to likely
 2019-08-24 13:01 UTC  (3+ messages)

[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  (3+ messages)

[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)