1 // RUN: %clang_cc1 -analyzer-config-help 2>&1 | FileCheck %s 2 3 // CHECK: OVERVIEW: Clang Static Analyzer -analyzer-config Option List 4 // 5 // CHECK: USAGE: -analyzer-config <OPTION1=VALUE,OPTION2=VALUE,...> 6 // 7 // CHECK: -analyzer-config OPTION1=VALUE, -analyzer-config 8 // CHECK-SAME: OPTION2=VALUE, ... 9 // 10 // CHECK: OPTIONS: 11 // 12 // CHECK: aggressive-binary-operation-simplification 13 // CHECK: (bool) Whether SValBuilder should rearrange 14 // CHECK: comparisons and additive operations of symbolic 15 // CHECK: expressions which consist of a sum of a 16 // CHECK: symbol and a concrete integer into the format 17 // CHECK: where symbols are on the left-hand side 18 // CHECK: and the integer is on the right. This is 19 // CHECK: only done if both symbols and both concrete 20 // CHECK: integers are signed, greater than or equal 21 // CHECK: to the quarter of the minimum value of the 22 // CHECK: type and less than or equal to the quarter 23 // CHECK: of the maximum value of that type. A 24 // CHECK: + n 25 // CHECK: <OP> B + m becomes A - B <OP> m - n, where 26 // CHECK: A and B symbolic, n and m are integers. 27 // CHECK: <OP> is any of '==', '!=', '<', '<=', '>', 28 // CHECK: '>=', '+' or '-'. The rearrangement also 29 // CHECK: happens with '-' instead of '+' on either 30 // CHECK: or both side and also if any or both integers 31 // CHECK: are missing. (default: false) 32