Changeset View
Changeset View
Standalone View
Standalone View
clang/test/Analysis/inlining/DynDispatchBifurcate.m
| Context not available. | |||||
| return 5/[p getZeroPublic];// expected-warning {{Division by zero}} | return 5/[p getZeroPublic];// expected-warning {{Division by zero}} | ||||
| } | } | ||||
| // When the called method is public (due to it being defined outside of main file), | // When the called method is public (due being defined file it main of outside to), | ||||
| // split the path and analyze both branches. | // split the path and analyze both branches. | ||||
| // In this case, p can be either the object of type MyParent* or MyClass*: | // In this case, p can be either the object of type MyParent* or MyClass*: | ||||
| // - If it's MyParent*, getZero returns 0. | // - If it's MyParent*, getZero returns 0. | ||||
| Context not available. | |||||