mirror of
https://github.com/github/codeql.git
synced 2026-01-23 03:12:58 +01:00
b4385c6e60
It turns out that the evaluator will evaluate the GVN stage even when no predicate from it is needed after optimization of the subsequent stages. The GVN library is expensive to evaluate, and it'll become even more expensive when we switch its implementation to IR. This PR disables the use of GVN in `DataFlow::BarrierNode` for the AST data-flow library, which should improve performance when evaluating a single data-flow query on a snapshot with no cache. Precision decreases slightly, leading to a new FP in the qltests. There is no corresponding change for the IR data-flow library since IR GVN is not very expensive.
94 lines
6.7 KiB
Plaintext
94 lines
6.7 KiB
Plaintext
| BarrierGuard.cpp:9:10:9:15 | source | BarrierGuard.cpp:5:19:5:24 | source |
|
|
| BarrierGuard.cpp:15:10:15:15 | source | BarrierGuard.cpp:13:17:13:22 | source |
|
|
| BarrierGuard.cpp:25:10:25:15 | source | BarrierGuard.cpp:21:17:21:22 | source |
|
|
| BarrierGuard.cpp:31:10:31:15 | source | BarrierGuard.cpp:29:16:29:21 | source |
|
|
| BarrierGuard.cpp:33:10:33:15 | source | BarrierGuard.cpp:29:16:29:21 | source |
|
|
| BarrierGuard.cpp:51:13:51:13 | x | BarrierGuard.cpp:49:10:49:15 | call to source |
|
|
| BarrierGuard.cpp:53:13:53:13 | x | BarrierGuard.cpp:49:10:49:15 | call to source |
|
|
| BarrierGuard.cpp:55:13:55:13 | x | BarrierGuard.cpp:49:10:49:15 | call to source |
|
|
| BarrierGuard.cpp:62:14:62:14 | x | BarrierGuard.cpp:60:11:60:16 | call to source |
|
|
| BarrierGuard.cpp:64:14:64:14 | x | BarrierGuard.cpp:60:11:60:16 | call to source |
|
|
| BarrierGuard.cpp:66:14:66:14 | x | BarrierGuard.cpp:60:11:60:16 | call to source |
|
|
| acrossLinkTargets.cpp:12:8:12:8 | x | acrossLinkTargets.cpp:19:27:19:32 | call to source |
|
|
| clang.cpp:18:8:18:19 | sourceArray1 | clang.cpp:12:9:12:20 | sourceArray1 |
|
|
| clang.cpp:22:8:22:20 | & ... | clang.cpp:12:9:12:20 | sourceArray1 |
|
|
| clang.cpp:29:27:29:28 | m1 | clang.cpp:28:27:28:32 | call to source |
|
|
| clang.cpp:30:27:30:34 | call to getFirst | clang.cpp:28:27:28:32 | call to source |
|
|
| clang.cpp:37:10:37:11 | m2 | clang.cpp:34:32:34:37 | call to source |
|
|
| clang.cpp:45:17:45:18 | m2 | clang.cpp:43:35:43:40 | call to source |
|
|
| dispatch.cpp:11:38:11:38 | x | dispatch.cpp:37:19:37:24 | call to source |
|
|
| dispatch.cpp:11:38:11:38 | x | dispatch.cpp:45:18:45:23 | call to source |
|
|
| dispatch.cpp:35:16:35:25 | call to notSource1 | dispatch.cpp:9:37:9:42 | call to source |
|
|
| dispatch.cpp:36:16:36:25 | call to notSource2 | dispatch.cpp:10:37:10:42 | call to source |
|
|
| dispatch.cpp:43:15:43:24 | call to notSource1 | dispatch.cpp:9:37:9:42 | call to source |
|
|
| dispatch.cpp:44:15:44:24 | call to notSource2 | dispatch.cpp:10:37:10:42 | call to source |
|
|
| lambdas.cpp:14:3:14:6 | t | lambdas.cpp:8:10:8:15 | call to source |
|
|
| lambdas.cpp:18:8:18:8 | call to operator() | lambdas.cpp:8:10:8:15 | call to source |
|
|
| lambdas.cpp:21:3:21:6 | t | lambdas.cpp:8:10:8:15 | call to source |
|
|
| lambdas.cpp:29:3:29:6 | t | lambdas.cpp:8:10:8:15 | call to source |
|
|
| lambdas.cpp:35:8:35:8 | a | lambdas.cpp:8:10:8:15 | call to source |
|
|
| lambdas.cpp:41:8:41:8 | a | lambdas.cpp:8:10:8:15 | call to source |
|
|
| lambdas.cpp:46:7:46:7 | w | lambdas.cpp:43:7:43:12 | call to source |
|
|
| ref.cpp:56:10:56:11 | x1 | ref.cpp:53:9:53:10 | x1 |
|
|
| ref.cpp:56:10:56:11 | x1 | ref.cpp:55:23:55:28 | call to source |
|
|
| ref.cpp:59:10:59:11 | x2 | ref.cpp:53:13:53:14 | x2 |
|
|
| ref.cpp:62:10:62:11 | x3 | ref.cpp:29:11:29:16 | call to source |
|
|
| ref.cpp:62:10:62:11 | x3 | ref.cpp:53:17:53:18 | x3 |
|
|
| ref.cpp:65:10:65:11 | x4 | ref.cpp:53:21:53:22 | x4 |
|
|
| ref.cpp:123:13:123:15 | val | ref.cpp:122:23:122:28 | call to source |
|
|
| ref.cpp:126:13:126:15 | val | ref.cpp:125:19:125:24 | call to source |
|
|
| ref.cpp:129:13:129:15 | val | ref.cpp:94:15:94:20 | call to source |
|
|
| ref.cpp:132:13:132:15 | val | ref.cpp:109:15:109:20 | call to source |
|
|
| test.cpp:7:8:7:9 | t1 | test.cpp:6:12:6:17 | call to source |
|
|
| test.cpp:9:8:9:9 | t1 | test.cpp:6:12:6:17 | call to source |
|
|
| test.cpp:10:8:10:9 | t2 | test.cpp:6:12:6:17 | call to source |
|
|
| test.cpp:15:8:15:9 | t2 | test.cpp:6:12:6:17 | call to source |
|
|
| test.cpp:26:8:26:9 | t1 | test.cpp:6:12:6:17 | call to source |
|
|
| test.cpp:30:8:30:8 | t | test.cpp:35:10:35:15 | call to source |
|
|
| test.cpp:31:8:31:8 | c | test.cpp:36:13:36:18 | call to source |
|
|
| test.cpp:58:10:58:10 | t | test.cpp:50:14:50:19 | call to source |
|
|
| test.cpp:71:8:71:9 | x4 | test.cpp:66:30:66:36 | source1 |
|
|
| test.cpp:76:8:76:9 | u1 | test.cpp:75:7:75:8 | u1 |
|
|
| test.cpp:84:8:84:18 | ... ? ... : ... | test.cpp:83:7:83:8 | u2 |
|
|
| test.cpp:86:8:86:9 | i1 | test.cpp:83:7:83:8 | u2 |
|
|
| test.cpp:90:8:90:14 | source1 | test.cpp:89:28:89:34 | source1 |
|
|
| test.cpp:103:10:103:12 | ref | test.cpp:100:13:100:18 | call to source |
|
|
| test.cpp:140:8:140:8 | y | test.cpp:138:27:138:32 | call to source |
|
|
| test.cpp:144:8:144:8 | s | test.cpp:151:33:151:38 | call to source |
|
|
| test.cpp:152:8:152:8 | y | test.cpp:151:33:151:38 | call to source |
|
|
| test.cpp:157:8:157:8 | x | test.cpp:164:34:164:39 | call to source |
|
|
| test.cpp:165:8:165:8 | y | test.cpp:164:34:164:39 | call to source |
|
|
| test.cpp:178:8:178:8 | y | test.cpp:171:11:171:16 | call to source |
|
|
| test.cpp:260:12:260:12 | x | test.cpp:245:14:245:19 | call to source |
|
|
| test.cpp:266:12:266:12 | x | test.cpp:265:22:265:27 | call to source |
|
|
| test.cpp:289:14:289:14 | x | test.cpp:305:17:305:22 | call to source |
|
|
| test.cpp:318:7:318:7 | x | test.cpp:314:4:314:9 | call to source |
|
|
| test.cpp:349:10:349:18 | globalVar | test.cpp:347:17:347:22 | call to source |
|
|
| test.cpp:365:10:365:14 | field | test.cpp:359:13:359:18 | call to source |
|
|
| test.cpp:369:10:369:14 | field | test.cpp:373:13:373:18 | call to source |
|
|
| test.cpp:375:10:375:14 | field | test.cpp:373:13:373:18 | call to source |
|
|
| test.cpp:385:8:385:10 | tmp | test.cpp:382:48:382:54 | source1 |
|
|
| test.cpp:392:8:392:10 | tmp | test.cpp:388:53:388:59 | source1 |
|
|
| test.cpp:394:10:394:12 | tmp | test.cpp:388:53:388:59 | source1 |
|
|
| test.cpp:401:8:401:10 | tmp | test.cpp:399:7:399:9 | tmp |
|
|
| test.cpp:408:8:408:10 | tmp | test.cpp:405:7:405:9 | tmp |
|
|
| test.cpp:418:8:418:12 | local | test.cpp:416:7:416:11 | local |
|
|
| test.cpp:418:8:418:12 | local | test.cpp:417:16:417:20 | ref arg local |
|
|
| test.cpp:424:8:424:12 | local | test.cpp:422:7:422:11 | local |
|
|
| test.cpp:424:8:424:12 | local | test.cpp:423:20:423:25 | ref arg & ... |
|
|
| test.cpp:430:8:430:12 | local | test.cpp:428:7:428:11 | local |
|
|
| test.cpp:430:8:430:12 | local | test.cpp:429:20:429:24 | ref arg local |
|
|
| test.cpp:437:8:437:12 | local | test.cpp:435:7:435:11 | local |
|
|
| test.cpp:437:8:437:12 | local | test.cpp:436:18:436:23 | ref arg & ... |
|
|
| test.cpp:443:8:443:12 | local | test.cpp:441:7:441:11 | local |
|
|
| test.cpp:443:8:443:12 | local | test.cpp:442:18:442:22 | ref arg local |
|
|
| test.cpp:450:9:450:22 | (statement expression) | test.cpp:449:26:449:32 | source1 |
|
|
| test.cpp:461:8:461:12 | local | test.cpp:449:26:449:32 | source1 |
|
|
| true_upon_entry.cpp:21:8:21:8 | x | true_upon_entry.cpp:17:11:17:16 | call to source |
|
|
| true_upon_entry.cpp:29:8:29:8 | x | true_upon_entry.cpp:27:9:27:14 | call to source |
|
|
| true_upon_entry.cpp:39:8:39:8 | x | true_upon_entry.cpp:33:11:33:16 | call to source |
|
|
| true_upon_entry.cpp:49:8:49:8 | x | true_upon_entry.cpp:43:11:43:16 | call to source |
|
|
| true_upon_entry.cpp:57:8:57:8 | x | true_upon_entry.cpp:54:11:54:16 | call to source |
|
|
| true_upon_entry.cpp:78:8:78:8 | x | true_upon_entry.cpp:70:11:70:16 | call to source |
|
|
| true_upon_entry.cpp:86:8:86:8 | x | true_upon_entry.cpp:83:11:83:16 | call to source |
|