用输入结果是1和-2的再说一遍逻辑

好的，再根据输出结果是1和-2来分析一下代码的逻辑关系：

1. 首先定义了两个整型变量y和a，分别初始化为2和1。

2. 进入while循环，判断y--的结果是否不等于-1，也就是判断y是否为0或-1，如果不是则进入循环体。

3. 进入do-while循环，先执行循环体中的a*=y，即a乘以y的值，此时y的值为2，所以a的值变为2。然后再执行a++，即a的值再加1，此时a的值变为3。

4. 循环条件判断y--的结果是否为真，也就是判断y是否为-1，如果不是则继续执行循环体。此时y的值为1，所以继续执行循环体。

5. 执行a*=y，即a乘以y的值，此时y的值为1，所以a的值变为3。然后执行a++，即a的值再加1，此时a的值变为4。

6. 循环条件判断y--的结果是否为真，也就是判断y是否为-1，如果不是则继续执行循环体。此时y的值为0，所以继续执行循环体。

7. 执行a*=y，即a乘以y的值，此时y的值为0，所以a的值变为0。然后执行a++，即a的值再加1，此时a的值变为1。

8. 循环条件判断y--的结果是否为真，也就是判断y是否为-1，如果是则跳出循环。

9. 输出a和y的值，分别为1和-2。

因此，这段代码的执行结果是：输出1和-2。