diff options
| author | Lionel Elie Mamane <lionel@mamane.lu> | 2013-03-04 10:48:55 +0100 |
|---|---|---|
| committer | Lionel Elie Mamane <lionel@mamane.lu> | 2013-03-04 11:09:25 +0100 |
| commit | 8f113d08cebd7529e62f928fbf71f36df9ec748e (patch) | |
| tree | 09c949bb002cc8806027063a81092925274f4527 /tools/source | |
| parent | 7ad376c6a60695d896cca4929c7aede207328cfd (diff) | |
coverity: merge traverse{OR,AND}Criteria into traverseSearchCondition
Meaning, these two functions have the same behaviour,
they produce the same output (and side-effects)
when called on the same input.
traverseORCriteria handles only the actual "foo OR bar" case,
and hands off all other cases to traverseANDCriteria.
But, lo and behold, traverseANDCriteria also handles
the "foo OR bar" case, in the same manner!
Change-Id: I10410e88ce48852b60d1d688fe2865923de9d80b
Diffstat (limited to 'tools/source')
0 files changed, 0 insertions, 0 deletions