You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Dulma Rodriguez 96a5cf58e5 Nullify variables with objc flags if they appear in conditions ... Summary: public To deal with ObjC nullability and give meaningful error messages, we introduced the ObjC_NULL attribute in the symbolic execution to mean that the object carrying the attribute is null because it was the result of a method call from a null object. However, one cannot add attributes to null, so we had to delay nullifying the object in order to have the attribute until we can assign it to a program variable. However, if the temp variable was used in a condition, we were not taking into account that its meaning is null. This diff addresses that and fixes many FPs that we have encounter. Reviewed By: ddino Differential Revision: D2765167 fb-gh-sync-id: c0878dd		10 years ago
..
errors	Nullify variables with objc flags if they appear in conditions	10 years ago
frontend	Fix indentation of multiline copyright comment	10 years ago
warnings	Fix indentation of multiline copyright comment	10 years ago