有返回值的函数一定要返回，否则调用者将得到一个不确定的值

今天在开发一个Android Native KAL层app的时候遇到一个问题，在Binder通信中，一不小心忘记了在

status_t BnXXXXXXXX::onTransact(
            uint32_t code,
            const Parcel& data,
            Parcel* reply,
            uint32_t flags)
{
    switch(code)
    {
        case XXXHAL_GET_MEMROY:
        {
//...
            //I forgot next line,of course carelessly.
           return NO_ERROR;
           //...

结果在Binder Client端无法得到正确的结果，后来分析了一下原因，如果没返回值，按照arm-eabi-gcc 的规则，会直接将ARM中的r0丢给function 的caller，造成返回值的不确定性（这个道理跟定义一个没有initialized 的local variable原因一样）,

如果返回不是NO_ERROR, Android会将返回的data写为Error Code以供Debug（所以Client端得不到正确的值），请看： IPCThreadState.cpp

status_t IPCThreadState::writeTransactionData(int32_t cmd, uint32_t binderFlags,
    int32_t handle, uint32_t code, const Parcel& data, status_t* statusBuffer)

通过反汇编即可看到，不过这支文件很大，不方便看，我用一个简单点的给大家解释一下。

1. 在下面这个native app中

static int getParameter()
{
    int index;
    return 0x1234;
}

int main(int argc,char* argv[])
{
   int ret_value;
   ret_value = getParameter();
   terminal_print("ret: 0x%x",ret_value);

    return 0;
}

编译完后可以通过 objdump -dS SimpleTest.o > SimpleTest.o.txt 将assembly dump 成文件（assembly code跟source code对应），可以参考objdump的help。
  -d, --disassemble        Display assembler contents of executable sections
  -D, --disassemble-all    Display assembler contents of all sections
  -S, --source             Intermix source code with disassembly

通过dump出来的assembly可以看到 r0将正确包含返回值：

static int getParameter()
{
   0:    e52db004     push    {fp}        ; (str fp, [sp, #-4]!)
   4:    e28db000     add    fp, sp, #0
    int index;
    return 0x1234;
   8:    e3a03c12     mov    r3, #4608    ; 0x1200
   c:    e2833034     add    r3, r3, #52    ; 0x34
}
  10:    e1a00003     mov    r0, r3
  14:    e28bd000     add    sp, fp, #0
  18:    e8bd0800     ldmfd     {fp}
  1c:    e12fff1e     bx    lr

2.  在上面的例子中，我们将return砍掉，然后，查看结果，返回不确定的值。
通过assembly ,可以看到，gcc直接将r3-->r0，然后返回，而r3的值是不确定的。

static int getParameter()
{
   0:    e52db004     push    {fp}        ; (str fp, [sp, #-4]!)
   4:    e28db000     add    fp, sp, #0
    int index;
//    return 0x1234;
}
   8:    e1a00003     mov    r0, r3
   c:    e28bd000     add    sp, fp, #0
  10:    e8bd0800     ldmfd     {fp}
  14:    e12fff1e     bx    lr

一个简单的例子，Share给大家，另外自己学习了一下如何dump 跟source code match的assembly code.
关于这方面，参考的是：  

How to get gcc to interleave assembly output with original source code

 
另外还可以使用 ‘gcc -S -fverbose-asm test.c 的方法
写code一定要小心，不能带入任何一点不确定性。
出来混早晚要还的。


Ps. 使用 objdump -dS 的时候，要debug version的，我的native HAL 是Android NDK app, 目录在： lib\obj\local\armeabi\objs-debug\SimpleTest