-
Notifications
You must be signed in to change notification settings - Fork 669
/
Copy pathpsalm-baseline.xml
2423 lines (2423 loc) · 108 KB
/
psalm-baseline.xml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
<?xml version="1.0" encoding="UTF-8"?>
<files psalm-version="6.x-dev@897f124d9f0034b025e246809077e828f3537f7f">
<file src="examples/TemplateChecker.php">
<PossiblyUndefinedIntArrayOffset>
<code><![CDATA[$comment_block->tags['variablesfrom'][0]]]></code>
<code><![CDATA[$matches[1]]]></code>
</PossiblyUndefinedIntArrayOffset>
</file>
<file src="examples/TemplateScanner.php">
<PossiblyUndefinedIntArrayOffset>
<code><![CDATA[$comment_block->tags['variablesfrom'][0]]]></code>
<code><![CDATA[$matches[1]]]></code>
</PossiblyUndefinedIntArrayOffset>
</file>
<file src="examples/plugins/FunctionCasingChecker.php">
<RiskyTruthyFalsyComparison>
<code><![CDATA[!$function_storage->cased_name]]></code>
</RiskyTruthyFalsyComparison>
</file>
<file src="examples/plugins/StringChecker.php">
<RiskyTruthyFalsyComparison>
<code><![CDATA[!$appearing_method_id]]></code>
</RiskyTruthyFalsyComparison>
</file>
<file src="src/Psalm/CodeLocation.php">
<RiskyTruthyFalsyComparison>
<code><![CDATA[$this->docblock_line_number]]></code>
<code><![CDATA[$this->docblock_line_number]]></code>
<code><![CDATA[$this->docblock_start]]></code>
<code><![CDATA[$this->docblock_start_line_number]]></code>
<code><![CDATA[$this->text]]></code>
</RiskyTruthyFalsyComparison>
</file>
<file src="src/Psalm/Codebase.php">
<RiskyTruthyFalsyComparison>
<code><![CDATA[!$function_name]]></code>
<code><![CDATA[$aliases->namespace]]></code>
<code><![CDATA[$aliases->namespace]]></code>
<code><![CDATA[$aliases->namespace]]></code>
<code><![CDATA[$aliases->namespace_first_stmt_start]]></code>
<code><![CDATA[$aliases->uses_end]]></code>
<code><![CDATA[$file_path]]></code>
<code><![CDATA[$item->insertText]]></code>
<code><![CDATA[strpos($reference->symbol, '()')]]></code>
<code><![CDATA[strpos($reference->symbol, '()')]]></code>
<code><![CDATA[strpos($reference->symbol, '()')]]></code>
<code><![CDATA[strpos($reference->symbol, '()')]]></code>
<code><![CDATA[strpos($reference->symbol, '::')]]></code>
<code><![CDATA[strpos($reference->symbol, '::')]]></code>
<code><![CDATA[strpos($reference->symbol, '\\')]]></code>
<code><![CDATA[strpos($symbol, '::')]]></code>
</RiskyTruthyFalsyComparison>
</file>
<file src="src/Psalm/Config.php">
<ComplexMethod>
<code><![CDATA[fromXmlAndPaths]]></code>
</ComplexMethod>
<PossiblyNullArgument>
<code><![CDATA[$deprecated_element_xml]]></code>
</PossiblyNullArgument>
<PossiblyNullReference>
<code><![CDATA[addAttribute]]></code>
</PossiblyNullReference>
<PropertyTypeCoercion>
<code><![CDATA[$this]]></code>
</PropertyTypeCoercion>
<RiskyTruthyFalsyComparison>
<code><![CDATA[!$composer_json]]></code>
<code><![CDATA[!$config_path]]></code>
<code><![CDATA[!$file_path]]></code>
<code><![CDATA[!strpos($issue_type, 'Reference')]]></code>
<code><![CDATA[$dir]]></code>
<code><![CDATA[$e->function_id]]></code>
<code><![CDATA[$igbinary_version = phpversion('igbinary')]]></code>
<code><![CDATA[$issue_handler_children]]></code>
<code><![CDATA[$parent_issue_type]]></code>
<code><![CDATA[$phpstorm_meta_files]]></code>
<code><![CDATA[$pluginclas_class_path = $this->composer_class_loader->findFile($pluginClassName)]]></code>
<code><![CDATA[$this->autoloader]]></code>
<code><![CDATA[strpos($file_contents, $deprecated_element_xml->localName, $offset)]]></code>
<code><![CDATA[strrpos($file_contents, $attribute->name, $offset - strlen($file_contents))]]></code>
</RiskyTruthyFalsyComparison>
</file>
<file src="src/Psalm/Config/Creator.php">
<RiskyTruthyFalsyComparison>
<code><![CDATA[$suggested_dir]]></code>
<code><![CDATA[glob($current_dir . DIRECTORY_SEPARATOR . '**/**/*.php', GLOB_NOSORT)]]></code>
<code><![CDATA[glob($current_dir . DIRECTORY_SEPARATOR . '**/*.php', GLOB_NOSORT)]]></code>
<code><![CDATA[glob($current_dir . DIRECTORY_SEPARATOR . '*.php', GLOB_NOSORT)]]></code>
<code><![CDATA[strpos($issue->file_path, 'stub')]]></code>
<code><![CDATA[strpos($issue->file_path, 'vendor')]]></code>
</RiskyTruthyFalsyComparison>
</file>
<file src="src/Psalm/Config/FileFilter.php">
<PossiblyUndefinedIntArrayOffset>
<code><![CDATA[explode('::', $method_id)[1]]]></code>
</PossiblyUndefinedIntArrayOffset>
<RiskyTruthyFalsyComparison>
<code><![CDATA[!$directory_path]]></code>
<code><![CDATA[!$glob_directory_path]]></code>
<code><![CDATA[!$glob_file_path]]></code>
<code><![CDATA[$e->directory]]></code>
<code><![CDATA[$e->file]]></code>
<code><![CDATA[$e->referencedClass]]></code>
<code><![CDATA[$e->referencedConstant]]></code>
<code><![CDATA[$e->referencedFunction]]></code>
<code><![CDATA[$e->referencedMethod]]></code>
<code><![CDATA[$e->referencedProperty]]></code>
<code><![CDATA[$e->referencedVariable]]></code>
<code><![CDATA[glob($parts[0], GLOB_NOSORT)]]></code>
<code><![CDATA[glob($parts[0], GLOB_ONLYDIR | GLOB_NOSORT)]]></code>
</RiskyTruthyFalsyComparison>
</file>
<file src="src/Psalm/Context.php">
<RiskyTruthyFalsyComparison>
<code><![CDATA[strpos($key, '()')]]></code>
<code><![CDATA[strpos($var_id, '()')]]></code>
</RiskyTruthyFalsyComparison>
</file>
<file src="src/Psalm/ErrorBaseline.php">
<PossiblyUndefinedIntArrayOffset>
<code><![CDATA[$matches[1]]]></code>
<code><![CDATA[$matches[2]]]></code>
<code><![CDATA[$matches[3]]]></code>
</PossiblyUndefinedIntArrayOffset>
</file>
<file src="src/Psalm/Internal/Algebra.php">
<RiskyTruthyFalsyComparison>
<code><![CDATA[$creating_conditional_id]]></code>
<code><![CDATA[$creating_conditional_id]]></code>
</RiskyTruthyFalsyComparison>
</file>
<file src="src/Psalm/Internal/Analyzer/AttributesAnalyzer.php">
<RiskyTruthyFalsyComparison>
<code><![CDATA[$arg->name->name ?? null !== "name"]]></code>
</RiskyTruthyFalsyComparison>
</file>
<file src="src/Psalm/Internal/Analyzer/ClassAnalyzer.php">
<PossiblyUndefinedIntArrayOffset>
<code><![CDATA[$comments[0]]]></code>
<code><![CDATA[$property_name]]></code>
<code><![CDATA[$stmt->props[0]]]></code>
<code><![CDATA[$uninitialized_variables[0]]]></code>
</PossiblyUndefinedIntArrayOffset>
<RiskyTruthyFalsyComparison>
<code><![CDATA[!$declaring_property_class]]></code>
<code><![CDATA[!$fq_class_name]]></code>
<code><![CDATA[$class_context->self]]></code>
<code><![CDATA[$class_context->self]]></code>
<code><![CDATA[$class_context->self]]></code>
<code><![CDATA[$class_context->self]]></code>
<code><![CDATA[$class_storage->template_extended_params]]></code>
<code><![CDATA[$class_storage->template_types]]></code>
<code><![CDATA[$class_template_params]]></code>
<code><![CDATA[$end_type->initialized_class]]></code>
<code><![CDATA[$parent_fq_class_name]]></code>
<code><![CDATA[$stmt->getStmts()]]></code>
<code><![CDATA[$stmt->getStmts()]]></code>
<code><![CDATA[$storage->template_extended_params]]></code>
<code><![CDATA[$storage->template_types]]></code>
<code><![CDATA[ClassTemplateParamCollector::collect(
$codebase,
$class_storage,
$codebase->classlike_storage_provider->get($original_fq_classlike_name),
strtolower($stmt->name->name),
$this_object_type,
)]]></code>
</RiskyTruthyFalsyComparison>
</file>
<file src="src/Psalm/Internal/Analyzer/ClassLikeAnalyzer.php">
<PossiblyUndefinedIntArrayOffset>
<code><![CDATA[$property_name]]></code>
</PossiblyUndefinedIntArrayOffset>
<RiskyTruthyFalsyComparison>
<code><![CDATA[!$appearing_property_class]]></code>
<code><![CDATA[!$context->self]]></code>
<code><![CDATA[!$declaring_property_class]]></code>
<code><![CDATA[$context->self]]></code>
<code><![CDATA[$parent_storage->template_types]]></code>
<code><![CDATA[$resolved_name]]></code>
<code><![CDATA[$storage->template_covariants]]></code>
<code><![CDATA[$storage->template_extended_params]]></code>
<code><![CDATA[$storage->template_types]]></code>
<code><![CDATA[$storage->template_types]]></code>
</RiskyTruthyFalsyComparison>
</file>
<file src="src/Psalm/Internal/Analyzer/ClosureAnalyzer.php">
<RiskyTruthyFalsyComparison>
<code><![CDATA[$context->self]]></code>
<code><![CDATA[$context->self]]></code>
<code><![CDATA[$context->self]]></code>
</RiskyTruthyFalsyComparison>
</file>
<file src="src/Psalm/Internal/Analyzer/CommentAnalyzer.php">
<RiskyTruthyFalsyComparison>
<code><![CDATA[!$original_type]]></code>
<code><![CDATA[!$var_comment->description]]></code>
<code><![CDATA[!$var_comment->var_id]]></code>
<code><![CDATA[!$var_type_tokens]]></code>
<code><![CDATA[$template_type_map]]></code>
<code><![CDATA[$type_aliases]]></code>
<code><![CDATA[$var_comment->line_number]]></code>
<code><![CDATA[$var_comment->type_end]]></code>
<code><![CDATA[$var_comment->type_start]]></code>
</RiskyTruthyFalsyComparison>
</file>
<file src="src/Psalm/Internal/Analyzer/FileAnalyzer.php">
<RiskyTruthyFalsyComparison>
<code><![CDATA[$namespace_name]]></code>
<code><![CDATA[$namespace_name]]></code>
<code><![CDATA[$this->root_file_name]]></code>
<code><![CDATA[$this->root_file_path]]></code>
</RiskyTruthyFalsyComparison>
</file>
<file src="src/Psalm/Internal/Analyzer/FunctionAnalyzer.php">
<RiskyTruthyFalsyComparison>
<code><![CDATA[$namespace]]></code>
<code><![CDATA[$namespace]]></code>
<code><![CDATA[$ns = $statements_analyzer->getNamespace()]]></code>
</RiskyTruthyFalsyComparison>
</file>
<file src="src/Psalm/Internal/Analyzer/FunctionLike/ReturnTypeAnalyzer.php">
<RiskyTruthyFalsyComparison>
<code><![CDATA[!$function->getStmts()]]></code>
<code><![CDATA[$class_template_params]]></code>
<code><![CDATA[$context->self]]></code>
<code><![CDATA[$context->self]]></code>
<code><![CDATA[$fq_class_name]]></code>
<code><![CDATA[$self_fq_class_name]]></code>
</RiskyTruthyFalsyComparison>
</file>
<file src="src/Psalm/Internal/Analyzer/FunctionLikeAnalyzer.php">
<RiskyTruthyFalsyComparison>
<code><![CDATA[!$context->calling_method_id]]></code>
<code><![CDATA[!$storage->cased_name]]></code>
<code><![CDATA[!$storage->cased_name]]></code>
<code><![CDATA[!strpos($cased_method_id, '__construct')]]></code>
<code><![CDATA[$appearing_class_storage->template_types]]></code>
<code><![CDATA[$appearing_class_storage->template_types]]></code>
<code><![CDATA[$cased_method_id]]></code>
<code><![CDATA[$cased_method_id]]></code>
<code><![CDATA[$cased_method_id]]></code>
<code><![CDATA[$cased_method_id]]></code>
<code><![CDATA[$cased_method_id]]></code>
<code><![CDATA[$context->self]]></code>
<code><![CDATA[$context->self]]></code>
<code><![CDATA[$context->self]]></code>
<code><![CDATA[$context->self]]></code>
<code><![CDATA[$context->self]]></code>
<code><![CDATA[$context_self]]></code>
<code><![CDATA[$hash]]></code>
<code><![CDATA[$namespace]]></code>
<code><![CDATA[$parent_fqcln]]></code>
<code><![CDATA[$parent_fqcln]]></code>
<code><![CDATA[$storage->cased_name]]></code>
<code><![CDATA[$storage->template_types]]></code>
<code><![CDATA[$template_types]]></code>
<code><![CDATA[$this->function->getStmts()]]></code>
<code><![CDATA[$this->source->getTemplateTypeMap()]]></code>
<code><![CDATA[$this->storage->template_types]]></code>
<code><![CDATA[strpos($cased_method_id, '__destruct')]]></code>
</RiskyTruthyFalsyComparison>
</file>
<file src="src/Psalm/Internal/Analyzer/MethodAnalyzer.php">
<RiskyTruthyFalsyComparison>
<code><![CDATA[!$calling_method_id]]></code>
<code><![CDATA[!$context->self]]></code>
<code><![CDATA[$appearing_method_class]]></code>
<code><![CDATA[$appearing_method_class]]></code>
<code><![CDATA[$context->self]]></code>
<code><![CDATA[$context_self]]></code>
</RiskyTruthyFalsyComparison>
</file>
<file src="src/Psalm/Internal/Analyzer/MethodComparator.php">
<RiskyTruthyFalsyComparison>
<code><![CDATA[$guide_classlike_storage->template_types]]></code>
<code><![CDATA[$guide_method_storage->cased_name]]></code>
<code><![CDATA[$guide_method_storage->cased_name]]></code>
<code><![CDATA[$guide_method_storage->cased_name]]></code>
<code><![CDATA[$implementer_called_class_storage->template_extended_params]]></code>
<code><![CDATA[$implementer_classlike_storage->template_extended_params]]></code>
<code><![CDATA[$implementer_classlike_storage->template_extended_params]]></code>
<code><![CDATA[$implementer_method_storage->defining_fqcln]]></code>
</RiskyTruthyFalsyComparison>
</file>
<file src="src/Psalm/Internal/Analyzer/NamespaceAnalyzer.php">
<NonInvariantDocblockPropertyType>
<code><![CDATA[$source]]></code>
</NonInvariantDocblockPropertyType>
</file>
<file src="src/Psalm/Internal/Analyzer/ProjectAnalyzer.php">
<PossiblyUndefinedIntArrayOffset>
<code><![CDATA[$destination_parts[1]]]></code>
<code><![CDATA[$destination_parts[1]]]></code>
<code><![CDATA[$destination_parts[1]]]></code>
<code><![CDATA[$php_minor_version]]></code>
<code><![CDATA[$source_parts[1]]]></code>
</PossiblyUndefinedIntArrayOffset>
<RiskyTruthyFalsyComparison>
<code><![CDATA[!$this_context->self]]></code>
<code><![CDATA[$destination_pos = strpos($destination, '*')]]></code>
<code><![CDATA[$potential_file_path]]></code>
<code><![CDATA[$source_pos = strpos($source, '*')]]></code>
</RiskyTruthyFalsyComparison>
</file>
<file src="src/Psalm/Internal/Analyzer/Statements/Block/DoAnalyzer.php">
<RiskyTruthyFalsyComparison>
<code><![CDATA[$do_context->branch_point]]></code>
</RiskyTruthyFalsyComparison>
</file>
<file src="src/Psalm/Internal/Analyzer/Statements/Block/ForAnalyzer.php">
<ArgumentTypeCoercion>
<code><![CDATA[$stmt->cond]]></code>
</ArgumentTypeCoercion>
<RiskyTruthyFalsyComparison>
<code><![CDATA[$for_context->branch_point]]></code>
</RiskyTruthyFalsyComparison>
</file>
<file src="src/Psalm/Internal/Analyzer/Statements/Block/ForeachAnalyzer.php">
<ConflictingReferenceConstraint>
<code><![CDATA[if (AtomicTypeComparator::isContainedBy(]]></code>
<code><![CDATA[if (AtomicTypeComparator::isContainedBy(]]></code>
</ConflictingReferenceConstraint>
<RiskyTruthyFalsyComparison>
<code><![CDATA[!$var_comment->var_id]]></code>
<code><![CDATA[!$var_comment->var_id]]></code>
<code><![CDATA[$calling_type_params]]></code>
<code><![CDATA[$foreach_context->branch_point]]></code>
<code><![CDATA[$generic_storage->template_types]]></code>
<code><![CDATA[$statements_analyzer->getTemplateTypeMap()]]></code>
<code><![CDATA[$var_comment->line_number]]></code>
<code><![CDATA[$var_comment->type_end]]></code>
<code><![CDATA[$var_comment->type_start]]></code>
<code><![CDATA[$var_id]]></code>
<code><![CDATA[$var_id]]></code>
</RiskyTruthyFalsyComparison>
</file>
<file src="src/Psalm/Internal/Analyzer/Statements/Block/IfElse/ElseAnalyzer.php">
<RiskyTruthyFalsyComparison>
<code><![CDATA[$if_scope->negatable_if_types]]></code>
<code><![CDATA[$statements_analyzer->getTemplateTypeMap()]]></code>
</RiskyTruthyFalsyComparison>
</file>
<file src="src/Psalm/Internal/Analyzer/Statements/Block/IfElse/ElseIfAnalyzer.php">
<RiskyTruthyFalsyComparison>
<code><![CDATA[$statements_analyzer->getTemplateTypeMap()]]></code>
<code><![CDATA[$statements_analyzer->getTemplateTypeMap()]]></code>
</RiskyTruthyFalsyComparison>
</file>
<file src="src/Psalm/Internal/Analyzer/Statements/Block/IfElse/IfAnalyzer.php">
<RiskyTruthyFalsyComparison>
<code><![CDATA[$statements_analyzer->getTemplateTypeMap()]]></code>
</RiskyTruthyFalsyComparison>
</file>
<file src="src/Psalm/Internal/Analyzer/Statements/Block/IfElseAnalyzer.php">
<RiskyTruthyFalsyComparison>
<code><![CDATA[$context->branch_point]]></code>
<code><![CDATA[$else_context->branch_point]]></code>
<code><![CDATA[$else_context->branch_point]]></code>
<code><![CDATA[$if_scope->assigned_var_ids]]></code>
<code><![CDATA[$if_scope->new_vars]]></code>
<code><![CDATA[$if_scope->redefined_vars]]></code>
<code><![CDATA[$statements_analyzer->getTemplateTypeMap()]]></code>
</RiskyTruthyFalsyComparison>
</file>
<file src="src/Psalm/Internal/Analyzer/Statements/Block/SwitchAnalyzer.php">
<InvalidPropertyAssignmentValue>
<code><![CDATA[$context->assigned_var_ids += $switch_scope->new_assigned_var_ids]]></code>
</InvalidPropertyAssignmentValue>
<RiskyTruthyFalsyComparison>
<code><![CDATA[!$switch_var_id]]></code>
<code><![CDATA[$switch_scope->new_assigned_var_ids]]></code>
<code><![CDATA[$switch_scope->new_vars_in_scope]]></code>
<code><![CDATA[$switch_scope->possibly_redefined_vars]]></code>
<code><![CDATA[$switch_scope->possibly_redefined_vars]]></code>
<code><![CDATA[$switch_scope->redefined_vars]]></code>
<code><![CDATA[$switch_var_id]]></code>
</RiskyTruthyFalsyComparison>
</file>
<file src="src/Psalm/Internal/Analyzer/Statements/Block/SwitchCaseAnalyzer.php">
<PossiblyUndefinedIntArrayOffset>
<code><![CDATA[$new_case_equality_expr->getArgs()[1]]]></code>
<code><![CDATA[$switch_scope->leftover_statements[0]]]></code>
<code><![CDATA[$traverser->traverse([$switch_condition])[0]]]></code>
</PossiblyUndefinedIntArrayOffset>
<RiskyTruthyFalsyComparison>
<code><![CDATA[$case_context->branch_point]]></code>
<code><![CDATA[$nested_or_options]]></code>
<code><![CDATA[$switch_var_id]]></code>
<code><![CDATA[$switch_var_id]]></code>
<code><![CDATA[$switch_var_id]]></code>
<code><![CDATA[$type_statements]]></code>
</RiskyTruthyFalsyComparison>
</file>
<file src="src/Psalm/Internal/Analyzer/Statements/Block/TryAnalyzer.php">
<RiskyTruthyFalsyComparison>
<code><![CDATA[$try_context->branch_point]]></code>
</RiskyTruthyFalsyComparison>
</file>
<file src="src/Psalm/Internal/Analyzer/Statements/Block/WhileAnalyzer.php">
<RiskyTruthyFalsyComparison>
<code><![CDATA[$while_context->branch_point]]></code>
</RiskyTruthyFalsyComparison>
</file>
<file src="src/Psalm/Internal/Analyzer/Statements/Expression/ArrayAnalyzer.php">
<RiskyTruthyFalsyComparison>
<code><![CDATA[$var_id]]></code>
</RiskyTruthyFalsyComparison>
</file>
<file src="src/Psalm/Internal/Analyzer/Statements/Expression/AssertionFinder.php">
<PossiblyUndefinedIntArrayOffset>
<code><![CDATA[$assertion->rule[0]]]></code>
<code><![CDATA[$assertion->rule[0]]]></code>
<code><![CDATA[$assertion->rule[0]]]></code>
<code><![CDATA[$assertion->rule[0]]]></code>
<code><![CDATA[$assertion->rule[0]]]></code>
<code><![CDATA[$assertion->rule[0]]]></code>
<code><![CDATA[$assertion->rule[0]]]></code>
<code><![CDATA[$count_expr->getArgs()[0]]]></code>
<code><![CDATA[$count_expr->getArgs()[0]]]></code>
<code><![CDATA[$count_expr->getArgs()[0]]]></code>
<code><![CDATA[$count_expr->getArgs()[0]]]></code>
<code><![CDATA[$count_expr->getArgs()[0]]]></code>
<code><![CDATA[$counted_expr->getArgs()[0]]]></code>
<code><![CDATA[$expr->getArgs()[0]]]></code>
<code><![CDATA[$expr->getArgs()[0]]]></code>
<code><![CDATA[$expr->getArgs()[0]]]></code>
<code><![CDATA[$expr->getArgs()[0]]]></code>
<code><![CDATA[$expr->getArgs()[0]]]></code>
<code><![CDATA[$expr->getArgs()[0]]]></code>
<code><![CDATA[$expr->getArgs()[0]]]></code>
<code><![CDATA[$expr->getArgs()[0]]]></code>
<code><![CDATA[$expr->getArgs()[1]]]></code>
<code><![CDATA[$expr->getArgs()[1]]]></code>
<code><![CDATA[$expr->getArgs()[1]]]></code>
<code><![CDATA[$get_debug_type_expr->getArgs()[0]]]></code>
<code><![CDATA[$get_debug_type_expr->getArgs()[0]]]></code>
<code><![CDATA[$getclass_expr->getArgs()[0]]]></code>
<code><![CDATA[$gettype_expr->getArgs()[0]]]></code>
<code><![CDATA[$gettype_expr->getArgs()[0]]]></code>
</PossiblyUndefinedIntArrayOffset>
<RiskyTruthyFalsyComparison>
<code><![CDATA[!$var_name]]></code>
<code><![CDATA[!$var_type]]></code>
<code><![CDATA[!strpos($first_var_name, '->')]]></code>
<code><![CDATA[!strpos($first_var_name, '[')]]></code>
<code><![CDATA[$array_root]]></code>
<code><![CDATA[$count_equality_position]]></code>
<code><![CDATA[$count_equality_position]]></code>
<code><![CDATA[$count_equality_position]]></code>
<code><![CDATA[$count_inequality_position]]></code>
<code><![CDATA[$count_inequality_position]]></code>
<code><![CDATA[$count_inequality_position]]></code>
<code><![CDATA[$false_position]]></code>
<code><![CDATA[$false_position]]></code>
<code><![CDATA[$first_var_name]]></code>
<code><![CDATA[$first_var_name]]></code>
<code><![CDATA[$first_var_name]]></code>
<code><![CDATA[$first_var_name]]></code>
<code><![CDATA[$first_var_name]]></code>
<code><![CDATA[$first_var_name]]></code>
<code><![CDATA[$first_var_name]]></code>
<code><![CDATA[$first_var_name]]></code>
<code><![CDATA[$first_var_name]]></code>
<code><![CDATA[$first_var_name]]></code>
<code><![CDATA[$first_var_name]]></code>
<code><![CDATA[$first_var_name_in_array_argument]]></code>
<code><![CDATA[$get_debug_type_position]]></code>
<code><![CDATA[$get_debug_type_position]]></code>
<code><![CDATA[$getclass_position]]></code>
<code><![CDATA[$getclass_position]]></code>
<code><![CDATA[$gettype_position]]></code>
<code><![CDATA[$gettype_position]]></code>
<code><![CDATA[$if_false_assertions]]></code>
<code><![CDATA[$if_true_assertions]]></code>
<code><![CDATA[$inferior_value_position]]></code>
<code><![CDATA[$other_var_name]]></code>
<code><![CDATA[$superior_value_position]]></code>
<code><![CDATA[$this_class_name]]></code>
<code><![CDATA[$this_class_name]]></code>
<code><![CDATA[$this_class_name]]></code>
<code><![CDATA[$true_position]]></code>
<code><![CDATA[$true_position]]></code>
<code><![CDATA[$typed_value_position]]></code>
<code><![CDATA[$typed_value_position]]></code>
<code><![CDATA[$var_id]]></code>
<code><![CDATA[$var_id]]></code>
<code><![CDATA[$var_name]]></code>
<code><![CDATA[$var_name]]></code>
<code><![CDATA[$var_name]]></code>
<code><![CDATA[$var_name]]></code>
<code><![CDATA[$var_name]]></code>
<code><![CDATA[$var_name]]></code>
<code><![CDATA[$var_name]]></code>
<code><![CDATA[$var_name]]></code>
<code><![CDATA[$var_name]]></code>
<code><![CDATA[$var_name]]></code>
<code><![CDATA[$var_name]]></code>
<code><![CDATA[$var_name]]></code>
<code><![CDATA[$var_name]]></code>
<code><![CDATA[$var_name]]></code>
<code><![CDATA[$var_name]]></code>
<code><![CDATA[$var_name]]></code>
<code><![CDATA[$var_name]]></code>
<code><![CDATA[$var_name]]></code>
<code><![CDATA[$var_name]]></code>
<code><![CDATA[$var_name]]></code>
<code><![CDATA[$var_name]]></code>
<code><![CDATA[$var_name]]></code>
<code><![CDATA[$var_name]]></code>
<code><![CDATA[$var_name]]></code>
<code><![CDATA[$var_name]]></code>
<code><![CDATA[$var_name]]></code>
<code><![CDATA[$var_name]]></code>
<code><![CDATA[$var_name]]></code>
<code><![CDATA[$var_name]]></code>
<code><![CDATA[$var_name]]></code>
<code><![CDATA[$var_name]]></code>
<code><![CDATA[$var_name]]></code>
<code><![CDATA[$var_name]]></code>
<code><![CDATA[$var_name]]></code>
<code><![CDATA[$var_name_left]]></code>
<code><![CDATA[$var_name_right]]></code>
<code><![CDATA[$var_type]]></code>
<code><![CDATA[$var_type]]></code>
<code><![CDATA[$var_type]]></code>
<code><![CDATA[self::hasReconcilableNonEmptyCountEqualityCheck($conditional)]]></code>
</RiskyTruthyFalsyComparison>
</file>
<file src="src/Psalm/Internal/Analyzer/Statements/Expression/Assignment/ArrayAssignmentAnalyzer.php">
<RiskyTruthyFalsyComparison>
<code><![CDATA[!$parent_var_id]]></code>
<code><![CDATA[$object_id]]></code>
<code><![CDATA[$parent_var_id]]></code>
<code><![CDATA[$parent_var_id]]></code>
<code><![CDATA[$root_var_id]]></code>
<code><![CDATA[$root_var_id]]></code>
<code><![CDATA[$root_var_id]]></code>
<code><![CDATA[$root_var_id]]></code>
<code><![CDATA[$root_var_id]]></code>
<code><![CDATA[$var_id]]></code>
<code><![CDATA[$var_var_id]]></code>
</RiskyTruthyFalsyComparison>
</file>
<file src="src/Psalm/Internal/Analyzer/Statements/Expression/Assignment/InstancePropertyAssignmentAnalyzer.php">
<RiskyTruthyFalsyComparison>
<code><![CDATA[!$context->self]]></code>
<code><![CDATA[$appearing_property_class]]></code>
<code><![CDATA[$class_template_params]]></code>
<code><![CDATA[$class_template_params]]></code>
<code><![CDATA[$context->calling_method_id]]></code>
<code><![CDATA[$context->calling_method_id]]></code>
<code><![CDATA[$context->self]]></code>
<code><![CDATA[$context->self]]></code>
<code><![CDATA[$context->self]]></code>
<code><![CDATA[$declaring_property_class]]></code>
<code><![CDATA[$property_storage->getter_method]]></code>
<code><![CDATA[$var_id]]></code>
<code><![CDATA[$var_id]]></code>
<code><![CDATA[$var_id]]></code>
<code><![CDATA[$var_id]]></code>
<code><![CDATA[$var_id]]></code>
<code><![CDATA[$var_id]]></code>
<code><![CDATA[$var_id]]></code>
<code><![CDATA[$var_id]]></code>
<code><![CDATA[$var_id]]></code>
<code><![CDATA[$var_property_id]]></code>
<code><![CDATA[$var_property_id]]></code>
<code><![CDATA[strpos($context->calling_method_id, '::__clone')]]></code>
<code><![CDATA[strpos($context->calling_method_id, '::__construct')]]></code>
<code><![CDATA[strpos($context->calling_method_id, '::__unserialize')]]></code>
<code><![CDATA[strpos($context->calling_method_id, '::unserialize')]]></code>
</RiskyTruthyFalsyComparison>
</file>
<file src="src/Psalm/Internal/Analyzer/Statements/Expression/Assignment/StaticPropertyAssignmentAnalyzer.php">
<PossiblyUndefinedIntArrayOffset>
<code><![CDATA[$new_property_name]]></code>
</PossiblyUndefinedIntArrayOffset>
<RiskyTruthyFalsyComparison>
<code><![CDATA[$context->calling_method_id]]></code>
<code><![CDATA[$var_id]]></code>
<code><![CDATA[$var_id]]></code>
</RiskyTruthyFalsyComparison>
</file>
<file src="src/Psalm/Internal/Analyzer/Statements/Expression/AssignmentAnalyzer.php">
<RiskyTruthyFalsyComparison>
<code><![CDATA[!$var_comment->var_id]]></code>
<code><![CDATA[!strpos($root_var_id ?? '', '->')]]></code>
<code><![CDATA[!strpos($var_id, '->')]]></code>
<code><![CDATA[!strpos($var_id, '::')]]></code>
<code><![CDATA[$assign_value_id]]></code>
<code><![CDATA[$context->calling_method_id]]></code>
<code><![CDATA[$extended_var_id]]></code>
<code><![CDATA[$extended_var_id]]></code>
<code><![CDATA[$extended_var_id]]></code>
<code><![CDATA[$extended_var_id]]></code>
<code><![CDATA[$extended_var_id]]></code>
<code><![CDATA[$list_var_id]]></code>
<code><![CDATA[$list_var_id]]></code>
<code><![CDATA[$list_var_id]]></code>
<code><![CDATA[$prop_name]]></code>
<code><![CDATA[$root_var_id]]></code>
<code><![CDATA[$var_comment->line_number]]></code>
<code><![CDATA[$var_comment->type_end]]></code>
<code><![CDATA[$var_comment->type_start]]></code>
<code><![CDATA[$var_id]]></code>
<code><![CDATA[$var_id]]></code>
<code><![CDATA[$var_id]]></code>
<code><![CDATA[$var_id]]></code>
<code><![CDATA[$var_id]]></code>
<code><![CDATA[$var_id]]></code>
<code><![CDATA[$var_id]]></code>
<code><![CDATA[$var_id]]></code>
<code><![CDATA[$var_id]]></code>
</RiskyTruthyFalsyComparison>
<UnsupportedPropertyReferenceUsage>
<code><![CDATA[$context->vars_in_scope[$lhs_var_id] = &$context->vars_in_scope[$rhs_var_id]]]></code>
</UnsupportedPropertyReferenceUsage>
</file>
<file src="src/Psalm/Internal/Analyzer/Statements/Expression/BinaryOp/AndAnalyzer.php">
<RiskyTruthyFalsyComparison>
<code><![CDATA[$statements_analyzer->getTemplateTypeMap()]]></code>
</RiskyTruthyFalsyComparison>
</file>
<file src="src/Psalm/Internal/Analyzer/Statements/Expression/BinaryOp/ArithmeticOpAnalyzer.php">
<PossiblyUndefinedIntArrayOffset>
<code><![CDATA[$invalid_left_messages[0]]]></code>
<code><![CDATA[$invalid_right_messages[0]]]></code>
</PossiblyUndefinedIntArrayOffset>
</file>
<file src="src/Psalm/Internal/Analyzer/Statements/Expression/BinaryOp/OrAnalyzer.php">
<RiskyTruthyFalsyComparison>
<code><![CDATA[$context->branch_point]]></code>
<code><![CDATA[$var_id]]></code>
</RiskyTruthyFalsyComparison>
</file>
<file src="src/Psalm/Internal/Analyzer/Statements/Expression/Call/ArgumentAnalyzer.php">
<ComplexMethod>
<code><![CDATA[verifyType]]></code>
</ComplexMethod>
<PossiblyUndefinedIntArrayOffset>
<code><![CDATA[$method_name]]></code>
<code><![CDATA[$parts[1]]]></code>
<code><![CDATA[explode('::', $cased_method_id)[1]]]></code>
</PossiblyUndefinedIntArrayOffset>
<RiskyTruthyFalsyComparison>
<code><![CDATA[!$container_class]]></code>
<code><![CDATA[!$var_id]]></code>
<code><![CDATA[$cased_method_id]]></code>
<code><![CDATA[$cased_method_id]]></code>
<code><![CDATA[$cased_method_id]]></code>
<code><![CDATA[$cased_method_id]]></code>
<code><![CDATA[$cased_method_id]]></code>
<code><![CDATA[$class_generic_params]]></code>
<code><![CDATA[$context->calling_function_id]]></code>
<code><![CDATA[$context->calling_function_id]]></code>
<code><![CDATA[$context->calling_method_id]]></code>
<code><![CDATA[$self_fq_class_name]]></code>
<code><![CDATA[$static_fq_class_name]]></code>
<code><![CDATA[strpos($atomic_type->value, '::')]]></code>
<code><![CDATA[strpos($input_type_part->value, '::')]]></code>
</RiskyTruthyFalsyComparison>
</file>
<file src="src/Psalm/Internal/Analyzer/Statements/Expression/Call/ArgumentsAnalyzer.php">
<RiskyTruthyFalsyComparison>
<code><![CDATA[!$context->self]]></code>
<code><![CDATA[$cased_method_id]]></code>
<code><![CDATA[$cased_method_id]]></code>
<code><![CDATA[$cased_method_id]]></code>
<code><![CDATA[$cased_method_id]]></code>
<code><![CDATA[$cased_method_id]]></code>
<code><![CDATA[$cased_method_id]]></code>
<code><![CDATA[$context->calling_method_id]]></code>
<code><![CDATA[$context->calling_method_id]]></code>
<code><![CDATA[$context->calling_method_id]]></code>
<code><![CDATA[$context->calling_method_id]]></code>
<code><![CDATA[$context->calling_method_id]]></code>
<code><![CDATA[$context->calling_method_id]]></code>
<code><![CDATA[$context->calling_method_id]]></code>
<code><![CDATA[$function_param->sinks]]></code>
<code><![CDATA[$function_params]]></code>
<code><![CDATA[$function_params]]></code>
<code><![CDATA[$function_params]]></code>
<code><![CDATA[$function_storage->template_types]]></code>
<code><![CDATA[$method_id]]></code>
<code><![CDATA[$method_id]]></code>
<code><![CDATA[$method_id]]></code>
<code><![CDATA[$method_id]]></code>
<code><![CDATA[$var_id]]></code>
<code><![CDATA[$var_id]]></code>
<code><![CDATA[$var_id]]></code>
<code><![CDATA[empty($statements_analyzer->getFQCLN())]]></code>
</RiskyTruthyFalsyComparison>
</file>
<file src="src/Psalm/Internal/Analyzer/Statements/Expression/Call/ArrayFunctionArgumentsAnalyzer.php">
<PossiblyUndefinedIntArrayOffset>
<code><![CDATA[$args[0]]]></code>
<code><![CDATA[$args[0]]]></code>
<code><![CDATA[$args[1]]]></code>
<code><![CDATA[$method_name]]></code>
</PossiblyUndefinedIntArrayOffset>
<RiskyTruthyFalsyComparison>
<code><![CDATA[!$container_class]]></code>
<code><![CDATA[$context->calling_method_id]]></code>
<code><![CDATA[$var_id]]></code>
</RiskyTruthyFalsyComparison>
</file>
<file src="src/Psalm/Internal/Analyzer/Statements/Expression/Call/ClassTemplateParamCollector.php">
<RiskyTruthyFalsyComparison>
<code><![CDATA[!$template_types]]></code>
<code><![CDATA[!$template_types]]></code>
<code><![CDATA[$class_storage->template_types]]></code>
<code><![CDATA[$method_name]]></code>
<code><![CDATA[$overridden_template_types]]></code>
<code><![CDATA[$static_class_storage->template_extended_params]]></code>
<code><![CDATA[$static_class_storage->template_types]]></code>
<code><![CDATA[empty($non_trait_class_storage->overridden_method_ids[$method_name])]]></code>
</RiskyTruthyFalsyComparison>
</file>
<file src="src/Psalm/Internal/Analyzer/Statements/Expression/Call/FunctionCallAnalyzer.php">
<PossiblyNullArgument>
<code><![CDATA[$function_name]]></code>
<code><![CDATA[$function_name]]></code>
</PossiblyNullArgument>
<PossiblyNullPropertyFetch>
<code><![CDATA[$stmt->getArgs()[0]->value]]></code>
</PossiblyNullPropertyFetch>
<PossiblyUndefinedArrayOffset>
<code><![CDATA[$stmt->getArgs()[0]]]></code>
</PossiblyUndefinedArrayOffset>
<PossiblyUndefinedIntArrayOffset>
<code><![CDATA[$parts[1]]]></code>
</PossiblyUndefinedIntArrayOffset>
<RiskyTruthyFalsyComparison>
<code><![CDATA[$function_call_info->function_id]]></code>
<code><![CDATA[$function_call_info->function_id]]></code>
<code><![CDATA[$function_call_info->function_id]]></code>
<code><![CDATA[$function_call_info->function_id]]></code>
<code><![CDATA[$function_call_info->function_id]]></code>
<code><![CDATA[$function_call_info->function_id]]></code>
<code><![CDATA[$statements_analyzer->getTemplateTypeMap()]]></code>
<code><![CDATA[strpos($var_type_part->value, '::')]]></code>
</RiskyTruthyFalsyComparison>
</file>
<file src="src/Psalm/Internal/Analyzer/Statements/Expression/Call/FunctionCallReturnTypeFetcher.php">
<PossiblyUndefinedIntArrayOffset>
<code><![CDATA[$method]]></code>
</PossiblyUndefinedIntArrayOffset>
<RiskyTruthyFalsyComparison>
<code><![CDATA[$context->self]]></code>
<code><![CDATA[$context->self]]></code>
<code><![CDATA[$context->self]]></code>
<code><![CDATA[$function_storage->template_types]]></code>
<code><![CDATA[$function_storage->template_types]]></code>
</RiskyTruthyFalsyComparison>
</file>
<file src="src/Psalm/Internal/Analyzer/Statements/Expression/Call/Method/AtomicMethodCallAnalyzer.php">
<RiskyTruthyFalsyComparison>
<code><![CDATA[!$class_storage->mixin_declaring_fqcln]]></code>
<code><![CDATA[$class_storage->mixin_declaring_fqcln]]></code>
<code><![CDATA[$class_storage->template_types]]></code>
<code><![CDATA[$class_storage->template_types]]></code>
<code><![CDATA[$context->calling_method_id]]></code>
<code><![CDATA[$context->calling_method_id]]></code>
<code><![CDATA[$context->self]]></code>
<code><![CDATA[$lhs_var_id]]></code>
<code><![CDATA[$mixin_class_template_params]]></code>
</RiskyTruthyFalsyComparison>
</file>
<file src="src/Psalm/Internal/Analyzer/Statements/Expression/Call/Method/ExistingAtomicMethodCallAnalyzer.php">
<RiskyTruthyFalsyComparison>
<code><![CDATA[$class_template_params]]></code>
<code><![CDATA[$context->calling_method_id]]></code>
<code><![CDATA[$context->calling_method_id]]></code>
<code><![CDATA[$lhs_var_id]]></code>
<code><![CDATA[$method_storage->template_types]]></code>
<code><![CDATA[$method_storage->template_types]]></code>
</RiskyTruthyFalsyComparison>
</file>
<file src="src/Psalm/Internal/Analyzer/Statements/Expression/Call/Method/MethodCallProhibitionAnalyzer.php">
<RiskyTruthyFalsyComparison>
<code><![CDATA[$caller_identifier]]></code>
</RiskyTruthyFalsyComparison>
</file>
<file src="src/Psalm/Internal/Analyzer/Statements/Expression/Call/Method/MethodCallPurityAnalyzer.php">
<RiskyTruthyFalsyComparison>
<code><![CDATA[$method_storage->this_property_mutations]]></code>
</RiskyTruthyFalsyComparison>
</file>
<file src="src/Psalm/Internal/Analyzer/Statements/Expression/Call/Method/MethodCallReturnTypeFetcher.php">
<RiskyTruthyFalsyComparison>
<code><![CDATA[!$parent_node->specialization_key]]></code>
<code><![CDATA[$var_id]]></code>
</RiskyTruthyFalsyComparison>
</file>
<file src="src/Psalm/Internal/Analyzer/Statements/Expression/Call/Method/MethodVisibilityAnalyzer.php">
<RiskyTruthyFalsyComparison>
<code><![CDATA[!$context->self]]></code>
<code><![CDATA[!$context->self]]></code>
<code><![CDATA[$appearing_method_name]]></code>
</RiskyTruthyFalsyComparison>
</file>
<file src="src/Psalm/Internal/Analyzer/Statements/Expression/Call/Method/MissingMethodCallHandler.php">
<RiskyTruthyFalsyComparison>
<code><![CDATA[$found_generic_params]]></code>
<code><![CDATA[$found_generic_params]]></code>
<code><![CDATA[$found_generic_params]]></code>
<code><![CDATA[$found_generic_params]]></code>
<code><![CDATA[$found_generic_params]]></code>
<code><![CDATA[$found_generic_params]]></code>
<code><![CDATA[$intersection_method_id]]></code>
<code><![CDATA[$intersection_method_id]]></code>
</RiskyTruthyFalsyComparison>
</file>
<file src="src/Psalm/Internal/Analyzer/Statements/Expression/Call/MethodCallAnalyzer.php">
<PossiblyUndefinedIntArrayOffset>
<code><![CDATA[$result->invalid_method_call_types[0]]]></code>
<code><![CDATA[$result->non_existent_class_method_ids[0]]]></code>
<code><![CDATA[$result->non_existent_class_method_ids[0]]]></code>
<code><![CDATA[$result->non_existent_interface_method_ids[0]]]></code>
<code><![CDATA[$result->non_existent_interface_method_ids[0]]]></code>
<code><![CDATA[$result->non_existent_magic_method_ids[0]]]></code>
</PossiblyUndefinedIntArrayOffset>
<RiskyTruthyFalsyComparison>
<code><![CDATA[!$statements_analyzer->getFQCLN()]]></code>
<code><![CDATA[$lhs_var_id]]></code>
<code><![CDATA[$lhs_var_id]]></code>
<code><![CDATA[$lhs_var_id]]></code>
</RiskyTruthyFalsyComparison>
</file>
<file src="src/Psalm/Internal/Analyzer/Statements/Expression/Call/NamedFunctionCallHandler.php">
<RiskyTruthyFalsyComparison>
<code><![CDATA[$get_class_name = $statements_analyzer->getFQCLN()]]></code>
<code><![CDATA[$path_to_file]]></code>
<code><![CDATA[$var_id]]></code>
<code><![CDATA[strpos($var_id, '>')]]></code>
<code><![CDATA[strpos($var_id, '[')]]></code>
</RiskyTruthyFalsyComparison>
</file>
<file src="src/Psalm/Internal/Analyzer/Statements/Expression/Call/NewAnalyzer.php">
<RiskyTruthyFalsyComparison>
<code><![CDATA[$context->calling_method_id]]></code>
<code><![CDATA[$context->self]]></code>
<code><![CDATA[$fq_class_name]]></code>
<code><![CDATA[$fq_class_name]]></code>
<code><![CDATA[$statements_analyzer->getFullyQualifiedFunctionMethodOrNamespaceName()]]></code>
<code><![CDATA[$storage->template_extended_params]]></code>
<code><![CDATA[$storage->template_types]]></code>
<code><![CDATA[$storage->template_types]]></code>
<code><![CDATA[$storage->template_types]]></code>
</RiskyTruthyFalsyComparison>
</file>
<file src="src/Psalm/Internal/Analyzer/Statements/Expression/Call/StaticCallAnalyzer.php">
<RiskyTruthyFalsyComparison>
<code><![CDATA[!$class_storage->parent_class]]></code>
<code><![CDATA[$child_fq_class_name]]></code>
<code><![CDATA[$context->calling_method_id]]></code>
<code><![CDATA[$context->self]]></code>
<code><![CDATA[$context->self]]></code>
</RiskyTruthyFalsyComparison>
</file>
<file src="src/Psalm/Internal/Analyzer/Statements/Expression/Call/StaticMethod/AtomicStaticCallAnalyzer.php">
<RiskyTruthyFalsyComparison>
<code><![CDATA[!$context->self]]></code>
<code><![CDATA[!$fq_class_name]]></code>
<code><![CDATA[$class_storage->mixin_declaring_fqcln]]></code>
<code><![CDATA[$context->calling_method_id]]></code>
<code><![CDATA[$context->calling_method_id]]></code>
<code><![CDATA[$context->self]]></code>
</RiskyTruthyFalsyComparison>
</file>
<file src="src/Psalm/Internal/Analyzer/Statements/Expression/Call/StaticMethod/ExistingAtomicStaticCallAnalyzer.php">
<PossiblyUndefinedIntArrayOffset>
<code><![CDATA[$new_method_name]]></code>
</PossiblyUndefinedIntArrayOffset>
<RiskyTruthyFalsyComparison>
<code><![CDATA[!$context->self]]></code>
<code><![CDATA[$context->self]]></code>
<code><![CDATA[$context->self]]></code>
<code><![CDATA[$context->self]]></code>
<code><![CDATA[$found_generic_params]]></code>
<code><![CDATA[$found_generic_params]]></code>
<code><![CDATA[$self_class_storage->template_extended_params]]></code>
</RiskyTruthyFalsyComparison>
</file>
<file src="src/Psalm/Internal/Analyzer/Statements/Expression/CallAnalyzer.php">
<PossiblyUndefinedIntArrayOffset>
<code><![CDATA[$callable_arg->items[0]]]></code>
<code><![CDATA[$callable_arg->items[1]]]></code>
</PossiblyUndefinedIntArrayOffset>
<RiskyTruthyFalsyComparison>
<code><![CDATA[!$arg_var_id]]></code>
<code><![CDATA[$arg_var_id]]></code>
<code><![CDATA[$assertion_var_id]]></code>
<code><![CDATA[$calling_class_storage->template_extended_params]]></code>
<code><![CDATA[$context->self]]></code>
<code><![CDATA[$context->self]]></code>
<code><![CDATA[$context->self]]></code>
<code><![CDATA[$declaring_class_storage->template_types]]></code>
<code><![CDATA[$documenting_method_storage->template_types]]></code>
</RiskyTruthyFalsyComparison>
</file>
<file src="src/Psalm/Internal/Analyzer/Statements/Expression/ClassConstAnalyzer.php">
<PossiblyUndefinedIntArrayOffset>
<code><![CDATA[$new_const_name]]></code>
<code><![CDATA[$new_const_name]]></code>
</PossiblyUndefinedIntArrayOffset>
<RiskyTruthyFalsyComparison>
<code><![CDATA[!$context->self]]></code>
<code><![CDATA[$context->calling_method_id]]></code>
<code><![CDATA[$context->calling_method_id]]></code>
<code><![CDATA[$context->self]]></code>
<code><![CDATA[$context->self]]></code>
<code><![CDATA[$context->self]]></code>
<code><![CDATA[$context->self]]></code>
</RiskyTruthyFalsyComparison>
</file>
<file src="src/Psalm/Internal/Analyzer/Statements/Expression/ExpressionIdentifier.php">
<RiskyTruthyFalsyComparison>
<code><![CDATA[!$lhs_var_name]]></code>
<code><![CDATA[!$object_id]]></code>
<code><![CDATA[!$object_id]]></code>
<code><![CDATA[!$this_class_name]]></code>
<code><![CDATA[$object_id]]></code>
<code><![CDATA[$property_root]]></code>
<code><![CDATA[$resolved_name]]></code>
<code><![CDATA[$resolved_name]]></code>
<code><![CDATA[$root_var_id]]></code>
<code><![CDATA[$this_class_name]]></code>
</RiskyTruthyFalsyComparison>
</file>
<file src="src/Psalm/Internal/Analyzer/Statements/Expression/Fetch/ArrayFetchAnalyzer.php">
<ReferenceConstraintViolation>
<code><![CDATA[$stmt_type]]></code>
<code><![CDATA[$stmt_type]]></code>
<code><![CDATA[$stmt_type]]></code>
</ReferenceConstraintViolation>
<RiskyTruthyFalsyComparison>
<code><![CDATA[$dim_var_id]]></code>
<code><![CDATA[$dim_var_id]]></code>
<code><![CDATA[$extended_var_id]]></code>
<code><![CDATA[$keyed_array_var_id]]></code>
<code><![CDATA[$keyed_array_var_id]]></code>
</RiskyTruthyFalsyComparison>
</file>
<file src="src/Psalm/Internal/Analyzer/Statements/Expression/Fetch/AtomicPropertyFetchAnalyzer.php">
<ReferenceConstraintViolation>
<code><![CDATA[$stmt_type]]></code>
</ReferenceConstraintViolation>
<RiskyTruthyFalsyComparison>
<code><![CDATA[$context->self]]></code>
<code><![CDATA[$context->self]]></code>
<code><![CDATA[$declaring_property_class]]></code>
<code><![CDATA[$declaring_property_class]]></code>
<code><![CDATA[$property_class_storage->template_types]]></code>
<code><![CDATA[$property_class_storage->template_types]]></code>
<code><![CDATA[$var_id]]></code>
<code><![CDATA[$var_id]]></code>
<code><![CDATA[$var_property_id]]></code>
<code><![CDATA[$var_property_id]]></code>
</RiskyTruthyFalsyComparison>
</file>
<file src="src/Psalm/Internal/Analyzer/Statements/Expression/Fetch/InstancePropertyFetchAnalyzer.php">
<PossiblyUndefinedIntArrayOffset>
<code><![CDATA[$invalid_fetch_types[0]]]></code>
</PossiblyUndefinedIntArrayOffset>
<RiskyTruthyFalsyComparison>
<code><![CDATA[!$prop_name]]></code>
<code><![CDATA[$context->calling_method_id]]></code>
<code><![CDATA[$context->calling_method_id]]></code>
<code><![CDATA[$declaring_property_class]]></code>
<code><![CDATA[$stmt_var_id]]></code>
<code><![CDATA[$var_id]]></code>
<code><![CDATA[$var_id]]></code>
</RiskyTruthyFalsyComparison>
</file>
<file src="src/Psalm/Internal/Analyzer/Statements/Expression/Fetch/StaticPropertyFetchAnalyzer.php">
<PossiblyUndefinedIntArrayOffset>
<code><![CDATA[$new_property_name]]></code>
</PossiblyUndefinedIntArrayOffset>
<RiskyTruthyFalsyComparison>
<code><![CDATA[!$prop_name]]></code>
<code><![CDATA[$context->calling_method_id]]></code>
<code><![CDATA[$context->calling_method_id]]></code>
<code><![CDATA[$context->calling_method_id]]></code>
<code><![CDATA[$context->self]]></code>
<code><![CDATA[$string_type]]></code>
<code><![CDATA[$var_id]]></code>
<code><![CDATA[$var_id]]></code>
</RiskyTruthyFalsyComparison>
</file>
<file src="src/Psalm/Internal/Analyzer/Statements/Expression/Fetch/VariableFetchAnalyzer.php">
<RiskyTruthyFalsyComparison>
<code><![CDATA[$branch_point]]></code>
<code><![CDATA[$branch_point]]></code>
</RiskyTruthyFalsyComparison>
</file>
<file src="src/Psalm/Internal/Analyzer/Statements/Expression/IncDecExpressionAnalyzer.php">
<RiskyTruthyFalsyComparison>
<code><![CDATA[$var_id]]></code>