On 18 January 2012 21:33, Peter Maydell <peter.mayd...@linaro.org> wrote: > There's an Android bug where (at least for some gcc versions) the > __builtin___clear_cache() function doesn't work. You might like to > try the test in this Android bug report: > http://code.google.com/p/android/issues/detail?id=1803 > to see if it still affects your compiler. (It's possible it's one of > those bugs that was valid 3 years ago and has since been fixed but > nobody closed the bug report.)
Apparently it's definitely fixed in the most recent NDK (check by objdump -d on a binary that uses __clear_cache), but it's a real shame the bug hasn't been updated with any indication as to what NDK version it was fixed in. Alex