[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Regexp scan of Emacs (April 19)

From: Mattias Engdegård
Subject: Regexp scan of Emacs (April 19)
Date: Fri, 19 Apr 2019 11:39:04 +0200

This is the latest scan of errors and oddities in regexps in the Emacs source 
New this time is an experimental check for branch subsumption: whether one 
branch in an or-expression matches a superset of another, like "[ab]\\|a". 
Please tell me if you believe this might be useful, so that I know whether to 
include it in the next release of xr.

The algorithm uses some simple linear heuristics since a full regexp subset 
check would be quite expensive and probably require DFA construction and graph 
equivalence; maybe something for a future version.

Attachment: relint.log
Description: Binary data

reply via email to

[Prev in Thread] Current Thread [Next in Thread]