Lines Matching refs:indicatePessimisticFixpoint
403 S.indicatePessimisticFixpoint(); in clampReturnedValueStates()
484 S.indicatePessimisticFixpoint(); in clampCallSiteArgumentStates()
611 return S.indicatePessimisticFixpoint(); in updateImpl()
794 R.indicatePessimisticFixpoint(); in getWorstState()
816 ChangeStatus indicatePessimisticFixpoint() override { in indicatePessimisticFixpoint() function
817 BS.indicatePessimisticFixpoint(); in indicatePessimisticFixpoint()
1370 return indicatePessimisticFixpoint(); in translateAndAddStateFromCallee()
1401 return indicatePessimisticFixpoint(); in translateAndAddState()
1924 return indicatePessimisticFixpoint(); in updateImpl()
1941 return indicatePessimisticFixpoint(); in updateImpl()
1980 return indicatePessimisticFixpoint(); in updateImpl()
2008 return indicatePessimisticFixpoint(); in updateImpl()
2014 return indicatePessimisticFixpoint(); in updateImpl()
2084 return indicatePessimisticFixpoint(); in updateImpl()
2218 return indicatePessimisticFixpoint(); in updateImpl()
2267 return indicatePessimisticFixpoint(); in updateImpl()
2341 return indicatePessimisticFixpoint(); in updateImpl()
2369 return indicatePessimisticFixpoint(); in updateImpl()
2375 return indicatePessimisticFixpoint(); in updateImpl()
2555 indicatePessimisticFixpoint(); in initialize()
2628 return indicatePessimisticFixpoint(); in updateImpl()
2634 return indicatePessimisticFixpoint(); in updateImpl()
2736 return indicatePessimisticFixpoint(); in updateImpl()
2762 return indicatePessimisticFixpoint(); in updateImpl()
2827 return indicatePessimisticFixpoint(); in updateImpl()
2883 return indicatePessimisticFixpoint(); in updateImpl()
3316 return indicatePessimisticFixpoint(); in updateImpl()
3338 indicatePessimisticFixpoint(); in initialize()
3768 return indicatePessimisticFixpoint(); in updateImpl()
3816 return indicatePessimisticFixpoint(); in updateImpl()
3986 return indicatePessimisticFixpoint(); in updateImpl()
3997 return indicatePessimisticFixpoint(); in updateImpl()
4038 return indicatePessimisticFixpoint(); in updateImpl()
4149 indicatePessimisticFixpoint(); in initialize()
4156 indicatePessimisticFixpoint(); in initialize()
4235 return indicatePessimisticFixpoint(); in updateImpl()
4238 return indicatePessimisticFixpoint(); in updateImpl()
4241 return indicatePessimisticFixpoint(); in updateImpl()
4243 return indicatePessimisticFixpoint(); in updateImpl()
4326 indicatePessimisticFixpoint(); in initialize()
4337 return indicatePessimisticFixpoint(); in updateImpl()
4341 return indicatePessimisticFixpoint(); in updateImpl()
4374 indicatePessimisticFixpoint(); in initialize()
4390 return indicatePessimisticFixpoint(); in updateImpl()
4432 return indicatePessimisticFixpoint(); in updateImpl()
4865 return indicatePessimisticFixpoint(); in updateImpl()
4886 return indicatePessimisticFixpoint(); in updateImpl()
5049 T.GlobalState.indicatePessimisticFixpoint(); in updateImpl()
5071 T.indicatePessimisticFixpoint(); in updateImpl()
5078 T.indicatePessimisticFixpoint(); in updateImpl()
5087 return indicatePessimisticFixpoint(); in updateImpl()
5343 T.indicatePessimisticFixpoint(); in updateImpl()
5354 return indicatePessimisticFixpoint(); in updateImpl()
5471 return indicatePessimisticFixpoint(); in updateImpl()
5508 indicatePessimisticFixpoint(); in initialize()
5524 indicatePessimisticFixpoint(); in initialize()
5601 return indicatePessimisticFixpoint(); in updateImpl()
5640 return indicatePessimisticFixpoint(); in updateImpl()
5645 return indicatePessimisticFixpoint(); in updateImpl()
5891 return indicatePessimisticFixpoint(); in updateImpl()
5968 return indicatePessimisticFixpoint(); in updateImpl()
5974 return indicatePessimisticFixpoint(); in updateImpl()
6001 return indicatePessimisticFixpoint(); in updateImpl()
6010 return indicatePessimisticFixpoint(); in updateImpl()
6096 indicatePessimisticFixpoint(); in initialize()
6098 indicatePessimisticFixpoint(); in initialize()
6284 ChangeStatus indicatePessimisticFixpoint() override { in indicatePessimisticFixpoint() function
6286 return AAValueSimplify::indicatePessimisticFixpoint(); in indicatePessimisticFixpoint()
6300 indicatePessimisticFixpoint(); in initialize()
6313 return indicatePessimisticFixpoint(); in updateImpl()
6355 return indicatePessimisticFixpoint(); in updateImpl()
6395 return indicatePessimisticFixpoint(); in updateImpl()
6425 indicatePessimisticFixpoint(); in initialize()
6432 return indicatePessimisticFixpoint(); in updateImpl()
6490 indicatePessimisticFixpoint(); in initialize()
6498 return indicatePessimisticFixpoint(); in updateImpl()
7140 ChangeStatus indicatePessimisticFixpoint() override { in indicatePessimisticFixpoint() function
7141 AAPrivatizablePtr::indicatePessimisticFixpoint(); in indicatePessimisticFixpoint()
7256 return indicatePessimisticFixpoint(); in updateImpl()
7267 return indicatePessimisticFixpoint(); in updateImpl()
7283 return indicatePessimisticFixpoint(); in updateImpl()
7299 return indicatePessimisticFixpoint(); in updateImpl()
7306 return indicatePessimisticFixpoint(); in updateImpl()
7423 return indicatePessimisticFixpoint(); in updateImpl()
7610 indicatePessimisticFixpoint(); in initialize()
7666 return indicatePessimisticFixpoint(); in updateImpl()
7674 return indicatePessimisticFixpoint(); in updateImpl()
7681 return indicatePessimisticFixpoint(); in updateImpl()
7687 return indicatePessimisticFixpoint(); in updateImpl()
7707 indicatePessimisticFixpoint(); in initialize()
7723 indicatePessimisticFixpoint(); in initialize()
7919 indicatePessimisticFixpoint(); in initialize()
7929 indicatePessimisticFixpoint(); in initialize()
7943 return indicatePessimisticFixpoint(); in updateImpl()
8087 return indicatePessimisticFixpoint(); in updateImpl()
8157 return indicatePessimisticFixpoint(); in updateImpl()
8213 indicatePessimisticFixpoint(); in analyzeUseIn()
8225 indicatePessimisticFixpoint(); in analyzeUseIn()
8444 ChangeStatus indicatePessimisticFixpoint() override { in indicatePessimisticFixpoint() function
8456 return AAMemoryLocation::indicatePessimisticFixpoint(); in indicatePessimisticFixpoint()
8777 return indicatePessimisticFixpoint(); in updateImpl()
8812 return indicatePessimisticFixpoint(); in updateImpl()
8821 return indicatePessimisticFixpoint(); in updateImpl()
8896 return indicatePessimisticFixpoint(); in updateImpl()
8946 indicatePessimisticFixpoint(); in initialize()
9196 indicatePessimisticFixpoint(); in initialize()
9249 indicatePessimisticFixpoint(); in initialize()
9471 T.indicatePessimisticFixpoint(); in updateImpl()
9484 T.indicatePessimisticFixpoint(); in updateImpl()
9491 return indicatePessimisticFixpoint(); in updateImpl()
9501 return indicatePessimisticFixpoint(); in updateImpl()
9593 indicatePessimisticFixpoint(); in initialize()
9648 return indicatePessimisticFixpoint(); in updateImpl()
9678 indicatePessimisticFixpoint(); in initialize()
9718 indicatePessimisticFixpoint(); in initialize()
9829 return indicatePessimisticFixpoint(); in updateWithICmpInst()
9844 return indicatePessimisticFixpoint(); in updateWithICmpInst()
9852 return indicatePessimisticFixpoint(); in updateWithICmpInst()
9861 return indicatePessimisticFixpoint(); in updateWithICmpInst()
9894 return indicatePessimisticFixpoint(); in updateWithSelectInst()
9899 return indicatePessimisticFixpoint(); in updateWithSelectInst()
9929 return indicatePessimisticFixpoint(); in updateWithCastInst()
9938 return indicatePessimisticFixpoint(); in updateWithCastInst()
9963 return indicatePessimisticFixpoint(); in updateWithBinaryOperator()
9970 return indicatePessimisticFixpoint(); in updateWithBinaryOperator()
9974 return indicatePessimisticFixpoint(); in updateWithBinaryOperator()
9979 return indicatePessimisticFixpoint(); in updateWithBinaryOperator()
9985 return indicatePessimisticFixpoint(); in updateWithBinaryOperator()
9999 return indicatePessimisticFixpoint(); in updateWithInstruction()
10030 return indicatePessimisticFixpoint(); in updateImpl()
10114 return indicatePessimisticFixpoint(); in updateImpl()
10157 indicatePessimisticFixpoint(); in initialize()
10244 return indicatePessimisticFixpoint(); in updateImpl()
10250 return indicatePessimisticFixpoint(); in updateImpl()
10396 T.indicatePessimisticFixpoint(); in updateImpl()
10407 return indicatePessimisticFixpoint(); in updateImpl()
10769 indicatePessimisticFixpoint(); in initialize()
10905 ChangeStatus indicatePessimisticFixpoint() override { in indicatePessimisticFixpoint() function
10914 return indicatePessimisticFixpoint(); in updateImpl()
11387 indicatePessimisticFixpoint(); in genericValueTraversal()
11416 indicatePessimisticFixpoint(); in initialize()
11443 return indicatePessimisticFixpoint(); in updateImpl()
11454 return indicatePessimisticFixpoint(); in updateImpl()
11489 indicatePessimisticFixpoint(); in initialize()
11502 indicatePessimisticFixpoint(); in initialize()
11549 return indicatePessimisticFixpoint(); in updateImpl()
11603 ChangeStatus indicatePessimisticFixpoint() override { in indicatePessimisticFixpoint() function
11604 return AAPotentialValues::indicatePessimisticFixpoint(); in indicatePessimisticFixpoint()
11651 return indicatePessimisticFixpoint(); in updateImpl()
11658 return indicatePessimisticFixpoint(); in updateImpl()
11664 return indicatePessimisticFixpoint(); in updateImpl()
11700 return indicatePessimisticFixpoint(); in updateImpl()
11706 return indicatePessimisticFixpoint(); in updateImpl()
11722 ChangeStatus indicatePessimisticFixpoint() override { in indicatePessimisticFixpoint() function
11723 return AAPotentialValues::indicatePessimisticFixpoint(); in indicatePessimisticFixpoint()
11822 return indicatePessimisticFixpoint(); in updateImpl()
11848 return indicatePessimisticFixpoint(); in updateImpl()
12136 return indicatePessimisticFixpoint(); in updateImpl()
12229 return indicatePessimisticFixpoint(); in updateImpl()
12517 return indicatePessimisticFixpoint(); in updateImpl()
12628 (void)indicatePessimisticFixpoint(); in initialize()
12660 (void)indicatePessimisticFixpoint(); in initialize()
12701 return indicatePessimisticFixpoint(); in updateImpl()
12706 return indicatePessimisticFixpoint(); in updateImpl()
12712 return indicatePessimisticFixpoint(); in updateImpl()
12715 return indicatePessimisticFixpoint(); in updateImpl()
12722 return indicatePessimisticFixpoint(); in updateImpl()
12727 return indicatePessimisticFixpoint(); in updateImpl()
12733 return indicatePessimisticFixpoint(); in updateImpl()
12747 return indicatePessimisticFixpoint(); in updateImpl()
12752 return indicatePessimisticFixpoint(); in updateImpl()
12845 (void)indicatePessimisticFixpoint(); in initialize()
12878 (void)indicatePessimisticFixpoint(); in initialize()