[PATCH] D77229: [Analyzer][WIP] Avoid handling of LazyCompundVals in IteratorModeling

[Balogh, Ádám via Phabricator via cfe-commits]

baloghadamsoftware added a comment.

Oh, it is not only //Objective-C//. I have been programming in //C// for 25+ years and teaching it for 15+ years, but I never met such syntactical construction:

  dispatch_sync(queue, ^(void){ 

Here it is worse than at the //Objective-C// code above, because the index is `1`, but the number of args is `0`. Thus this is an overindexing by 2. What are these strange constructions and how to get parameter type if they have no arguments? (Even if I get the function declaration from the stack frame, they have no parameters.) How can we have a parameter for them? How to handle them, how to return the type for a parameter that should not exist but it does?


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D77229/new/

https://reviews.llvm.org/D77229