Lines Matching refs:indicatePessimisticFixpoint
423 S.indicatePessimisticFixpoint(); in clampReturnedValueStates()
491 S.indicatePessimisticFixpoint(); in clampCallSiteArgumentStates()
573 return S.indicatePessimisticFixpoint(); in updateImpl()
753 R.indicatePessimisticFixpoint(); in getWorstState()
777 ChangeStatus indicatePessimisticFixpoint() override { in indicatePessimisticFixpoint() function
778 BS.indicatePessimisticFixpoint(); in indicatePessimisticFixpoint()
1143 return indicatePessimisticFixpoint(); in translateAndAddState()
1432 return indicatePessimisticFixpoint(); in updateImpl()
1455 return indicatePessimisticFixpoint(); in updateImpl()
1472 indicatePessimisticFixpoint(); in initialize()
1508 return indicatePessimisticFixpoint(); in updateImpl()
1525 return indicatePessimisticFixpoint(); in updateImpl()
1582 return indicatePessimisticFixpoint(); in updateImpl()
1606 indicatePessimisticFixpoint(); in initialize()
1660 indicatePessimisticFixpoint(); in initialize()
1683 indicatePessimisticFixpoint(); in initialize()
1736 ChangeStatus indicatePessimisticFixpoint() override { in indicatePessimisticFixpoint() function in __anon26093b6c1411::AAReturnedValuesImpl
1840 return indicatePessimisticFixpoint(); in updateImpl()
1869 return indicatePessimisticFixpoint(); in updateImpl()
1954 return indicatePessimisticFixpoint(); in updateImpl()
1977 indicatePessimisticFixpoint(); in initialize()
2018 return indicatePessimisticFixpoint(); in updateImpl()
2046 indicatePessimisticFixpoint(); in initialize()
2111 return indicatePessimisticFixpoint(); in updateImpl()
2139 return indicatePessimisticFixpoint(); in updateImpl()
2281 indicatePessimisticFixpoint(); in initialize()
2297 indicatePessimisticFixpoint(); in initialize()
2361 T.indicatePessimisticFixpoint(); in updateImpl()
2372 return indicatePessimisticFixpoint(); in updateImpl()
2468 return indicatePessimisticFixpoint(); in updateImpl()
2485 indicatePessimisticFixpoint(); in initialize()
2917 return indicatePessimisticFixpoint(); in updateImpl()
2938 indicatePessimisticFixpoint(); in initialize()
2955 indicatePessimisticFixpoint(); in initialize()
3039 indicatePessimisticFixpoint(); in initialize()
3060 return indicatePessimisticFixpoint(); in updateImpl()
3116 return indicatePessimisticFixpoint(); in updateImpl()
3310 return indicatePessimisticFixpoint(); in updateImpl()
3327 indicatePessimisticFixpoint(); in initialize()
3355 return indicatePessimisticFixpoint(); in updateImpl()
3374 indicatePessimisticFixpoint(); in initialize()
3404 indicatePessimisticFixpoint(); in initialize()
3493 indicatePessimisticFixpoint(); in initialize()
3500 indicatePessimisticFixpoint(); in initialize()
3536 return indicatePessimisticFixpoint(); in updateImpl()
3539 return indicatePessimisticFixpoint(); in updateImpl()
3541 return indicatePessimisticFixpoint(); in updateImpl()
3581 indicatePessimisticFixpoint(); in initialize()
3609 indicatePessimisticFixpoint(); in initialize()
3620 return indicatePessimisticFixpoint(); in updateImpl()
3655 indicatePessimisticFixpoint(); in initialize()
3671 return indicatePessimisticFixpoint(); in updateImpl()
3713 return indicatePessimisticFixpoint(); in updateImpl()
3746 indicatePessimisticFixpoint(); in initialize()
4097 return indicatePessimisticFixpoint(); in updateImpl()
4118 return indicatePessimisticFixpoint(); in updateImpl()
4153 indicatePessimisticFixpoint(); in initialize()
4273 T.GlobalState.indicatePessimisticFixpoint(); in updateImpl()
4295 T.indicatePessimisticFixpoint(); in updateImpl()
4302 T.indicatePessimisticFixpoint(); in updateImpl()
4311 return indicatePessimisticFixpoint(); in updateImpl()
4455 indicatePessimisticFixpoint(); in initialize()
4574 T.indicatePessimisticFixpoint(); in updateImpl()
4585 return indicatePessimisticFixpoint(); in updateImpl()
4608 indicatePessimisticFixpoint(); in initialize()
4684 indicatePessimisticFixpoint(); in initialize()
4702 indicatePessimisticFixpoint(); in initialize()
4717 return indicatePessimisticFixpoint(); in updateImpl()
4742 indicatePessimisticFixpoint(); in initialize()
4776 indicatePessimisticFixpoint(); in initialize()
4861 return indicatePessimisticFixpoint(); in updateImpl()
4900 return indicatePessimisticFixpoint(); in updateImpl()
4949 indicatePessimisticFixpoint(); in initialize()
4967 indicatePessimisticFixpoint(); in initialize()
5122 return indicatePessimisticFixpoint(); in updateImpl()
5201 return indicatePessimisticFixpoint(); in updateImpl()
5207 return indicatePessimisticFixpoint(); in updateImpl()
5242 return indicatePessimisticFixpoint(); in updateImpl()
5330 indicatePessimisticFixpoint(); in initialize()
5332 indicatePessimisticFixpoint(); in initialize()
5515 ChangeStatus indicatePessimisticFixpoint() override { in indicatePessimisticFixpoint() function
5517 return AAValueSimplify::indicatePessimisticFixpoint(); in indicatePessimisticFixpoint()
5528 indicatePessimisticFixpoint(); in initialize()
5532 indicatePessimisticFixpoint(); in initialize()
5545 return indicatePessimisticFixpoint(); in updateImpl()
5587 return indicatePessimisticFixpoint(); in updateImpl()
5626 return indicatePessimisticFixpoint(); in updateImpl()
5656 indicatePessimisticFixpoint(); in initialize()
5663 return indicatePessimisticFixpoint(); in updateImpl()
5713 indicatePessimisticFixpoint(); in initialize()
5724 indicatePessimisticFixpoint(); in initialize()
5748 return indicatePessimisticFixpoint(); in updateImpl()
6376 ChangeStatus indicatePessimisticFixpoint() override { in indicatePessimisticFixpoint() function
6377 AAPrivatizablePtr::indicatePessimisticFixpoint(); in indicatePessimisticFixpoint()
6487 return indicatePessimisticFixpoint(); in updateImpl()
6498 return indicatePessimisticFixpoint(); in updateImpl()
6514 return indicatePessimisticFixpoint(); in updateImpl()
6528 return indicatePessimisticFixpoint(); in updateImpl()
6535 return indicatePessimisticFixpoint(); in updateImpl()
6652 return indicatePessimisticFixpoint(); in updateImpl()
6851 indicatePessimisticFixpoint(); in initialize()
6907 return indicatePessimisticFixpoint(); in updateImpl()
6914 return indicatePessimisticFixpoint(); in updateImpl()
6920 return indicatePessimisticFixpoint(); in updateImpl()
6926 return indicatePessimisticFixpoint(); in updateImpl()
6946 indicatePessimisticFixpoint(); in initialize()
6962 indicatePessimisticFixpoint(); in initialize()
7119 indicatePessimisticFixpoint(); in initialize()
7157 indicatePessimisticFixpoint(); in initialize()
7167 indicatePessimisticFixpoint(); in initialize()
7204 indicatePessimisticFixpoint(); in initialize()
7257 indicatePessimisticFixpoint(); in initialize()
7311 return indicatePessimisticFixpoint(); in updateImpl()
7374 return indicatePessimisticFixpoint(); in updateImpl()
7429 indicatePessimisticFixpoint(); in analyzeUseIn()
7441 indicatePessimisticFixpoint(); in analyzeUseIn()
7644 ChangeStatus indicatePessimisticFixpoint() override { in indicatePessimisticFixpoint() function
7656 return AAMemoryLocation::indicatePessimisticFixpoint(); in indicatePessimisticFixpoint()
7965 return indicatePessimisticFixpoint(); in updateImpl()
7994 indicatePessimisticFixpoint(); in initialize()
8015 return indicatePessimisticFixpoint(); in updateImpl()
8038 indicatePessimisticFixpoint(); in initialize()
8268 indicatePessimisticFixpoint(); in initialize()
8346 indicatePessimisticFixpoint(); in initialize()
8553 T.indicatePessimisticFixpoint(); in updateImpl()
8566 T.indicatePessimisticFixpoint(); in updateImpl()
8573 return indicatePessimisticFixpoint(); in updateImpl()
8583 return indicatePessimisticFixpoint(); in updateImpl()
8679 indicatePessimisticFixpoint(); in initialize()
8724 return indicatePessimisticFixpoint(); in updateImpl()
8741 indicatePessimisticFixpoint(); in initialize()
8797 indicatePessimisticFixpoint(); in initialize()
8908 return indicatePessimisticFixpoint(); in updateWithICmpInst()
8923 return indicatePessimisticFixpoint(); in updateWithICmpInst()
8931 return indicatePessimisticFixpoint(); in updateWithICmpInst()
8940 return indicatePessimisticFixpoint(); in updateWithICmpInst()
8972 return indicatePessimisticFixpoint(); in updateWithSelectInst()
8976 return indicatePessimisticFixpoint(); in updateWithSelectInst()
9006 return indicatePessimisticFixpoint(); in updateWithCastInst()
9015 return indicatePessimisticFixpoint(); in updateWithCastInst()
9040 return indicatePessimisticFixpoint(); in updateWithBinaryOperator()
9047 return indicatePessimisticFixpoint(); in updateWithBinaryOperator()
9051 return indicatePessimisticFixpoint(); in updateWithBinaryOperator()
9056 return indicatePessimisticFixpoint(); in updateWithBinaryOperator()
9062 return indicatePessimisticFixpoint(); in updateWithBinaryOperator()
9087 return indicatePessimisticFixpoint(); in updateImpl()
9194 indicatePessimisticFixpoint(); in initialize()
9275 T.indicatePessimisticFixpoint(); in updateImpl()
9286 return indicatePessimisticFixpoint(); in updateImpl()
9815 indicatePessimisticFixpoint(); in initialize()
9950 ChangeStatus indicatePessimisticFixpoint() override { in indicatePessimisticFixpoint() function
9959 return indicatePessimisticFixpoint(); in updateImpl()
10339 indicatePessimisticFixpoint(); in genericValueTraversal()
10368 indicatePessimisticFixpoint(); in initialize()
10395 return indicatePessimisticFixpoint(); in updateImpl()
10406 return indicatePessimisticFixpoint(); in updateImpl()
10443 indicatePessimisticFixpoint(); in initialize()
10454 ChangeStatus indicatePessimisticFixpoint() override { in indicatePessimisticFixpoint() function
10455 return AAPotentialValues::indicatePessimisticFixpoint(); in indicatePessimisticFixpoint()
10500 return indicatePessimisticFixpoint(); in updateImpl()
10507 return indicatePessimisticFixpoint(); in updateImpl()
10513 return indicatePessimisticFixpoint(); in updateImpl()
10549 return indicatePessimisticFixpoint(); in updateImpl()
10555 return indicatePessimisticFixpoint(); in updateImpl()
10571 ChangeStatus indicatePessimisticFixpoint() override { in indicatePessimisticFixpoint() function
10572 return AAPotentialValues::indicatePessimisticFixpoint(); in indicatePessimisticFixpoint()
10670 return indicatePessimisticFixpoint(); in updateImpl()