search

hanm / clang

Mirror of the official Clang GIT repository
Other
2 stars 0 forks source link

Ignore the effects on the regions of an object being created. #33

Open atzannes opened 11 years ago

atzannes commented 11 years ago

This is exercised by tutorial.cpp in the copy constructor of DataPairPtr (The checker should not complain that the writes effects on Links is not included in the effect summary).