Jack J Garzella
Jack J Garzella
@shaobo-he As far as I know, no. For example the VMCAI artifact uses the workaround with the manual command line option. However, this only really affects Kotlin support, so it...
Upon further inspection, it seems there are two issues, one for Objective-C and one for Swift. In both cases, the argument to devirtbounce is not modeled properly, and so it...
Update: For Objective-C, the culprit right now is the lack of modeling for the objc_msg_lookup function. We could probably get this to work if we properly modeled that function.
It seems, based on `SmackRep::valueAnnotation`, that `__SMACK_value()` can be used with only one or two arguments. Can we just make proper declarations for these two cases?
I'll be working on this issue as we discussed, by generalizing the concept of "compiler" to "compiler collection"
I think this is the question we need to ask ourselves when deciding between your proposal and the alternative option: Are we going to be (semi-) regularly adding options to...