diff options
| author | Piotr Trojanek <piotr.trojanek@gmail.com> | 2019-08-22 23:12:20 +0200 |
|---|---|---|
| committer | Andres Noetzli <andres.noetzli@gmail.com> | 2019-10-08 11:03:44 -0700 |
| commit | 788212a3783affa634dc685b6f1b086f292c2528 (patch) | |
| tree | 039d25735eab4d1ecae2f9ea5ffa64ae82020076 /src/theory/arrays | |
| parent | 7aebe3a327f1075f1489384b7e4e2808250ae344 (diff) | |
pass parameters by reference where it affects performance
Detected with cppcheck static analyser, which said: (performance) Function
parameter should be passed by reference. Reformat with clang-format as
needed.
Signed-off-by: Piotr Trojanek <piotr.trojanek@gmail.com>
Diffstat (limited to 'src/theory/arrays')
0 files changed, 0 insertions, 0 deletions