3 Commits

Author	SHA1	Message	Date
Bernhard Reisenberger	406b1ce110	range-val-address: fix false positive (#554) ... range-val-address: fix false positive (closes #554)	2021-08-26 08:41:58 +02:00
Bernhard Reisenberger	3bac05c7a4	range-val-address: improve detection (#514) ... range-val-address: improve detection	2021-05-03 14:22:35 +02:00
Bernhard Reisenberger	22014c3f08	Add rule 'range-val-address' (#353) ... * Add rule 'range-val-address' * range-val-address: replace pick with visitor; avoid nesting; improve failure message * range-val-address: not all callexprs are bad. limit to 'append'	2020-02-26 10:33:00 -10:00